Lines Matching defs:region_model_context
334 get_region_for_unexpected_tree_code (region_model_context *ctxt,
512 region_model_context *ctxt);
515 region_model_context *get_ctxt () const { return m_ctxt; }
541 region_model_context *m_ctxt;
590 region_model_context *ctxt);
592 void on_assignment (const gassign *stmt, region_model_context *ctxt);
594 region_model_context *ctxt);
595 void on_asm_stmt (const gasm *asm_stmt, region_model_context *ctxt);
596 bool on_call_pre (const gcall *stmt, region_model_context *ctxt,
600 region_model_context *ctxt);
602 void purge_state_involving (const svalue *sval, region_model_context *ctxt);
607 region_model_context *ctxt);
609 region_model_context *ctxt);
612 region_model_context *ctxt);
632 region_model_context *ctxt);
637 void on_return (const greturn *stmt, region_model_context *ctxt);
639 region_model_context *ctxt);
641 int setjmp_stack_depth, region_model_context *ctxt);
645 region_model_context *ctxt);
649 region_model_context *ctxt);
653 region_model_context *ctxt,
657 region_model_context *ctxt,
661 region_model_context *ctxt);
664 region_model_context *ctxt);
669 region_model_context *ctxt,
674 const region *get_lvalue (path_var pv, region_model_context *ctxt) const;
675 const region *get_lvalue (tree expr, region_model_context *ctxt) const;
676 const svalue *get_rvalue (path_var pv, region_model_context *ctxt) const;
677 const svalue *get_rvalue (tree expr, region_model_context *ctxt) const;
680 region_model_context *ctxt) const;
685 region_model_context *ctxt) const;
688 region_model_context *ctxt);
689 void set_value (tree lhs, tree rhs, region_model_context *ctxt);
707 region_model_context *ctxt);
709 region_model_context *ctxt);
711 region_model_context *ctxt,
715 region_model_context *ctxt);
717 region_model_context *ctxt);
744 region_model_context *ctxt);
764 region_model_context *ctxt);
771 region_model_context *ctxt) const;
785 const region *get_lvalue_1 (path_var pv, region_model_context *ctxt) const;
786 const svalue *get_rvalue_1 (path_var pv, region_model_context *ctxt) const;
798 region_model_context *ctxt);
803 region_model_context *ctxt);
806 region_model_context *ctxt);
808 region_model_context *ctxt);
810 region_model_context *ctxt);
813 region_model_context *ctxt,
817 region_model_context *ctxt,
820 region_model_context *ctxt,
828 region_model_context *ctxt);
835 region_model_context *ctxt) const;
840 region_model_context *ctxt) const;
844 region_model_context *ctxt) const;
847 region_model_context *ctxt) const;
850 region_model_context *ctxt) const;
852 region_model_context *ctxt) const;
854 region_model_context *ctxt) const;
859 region_model_context *ctxt) const;
885 class region_model_context
963 /* A "do nothing" subclass of region_model_context. */
965 class noop_region_model_context : public region_model_context
1016 /* A subclass of region_model_context for determining if operations fail
1036 /* Subclass of region_model_context that wraps another context, allowing
1039 class region_model_context_decorator : public region_model_context
1141 region_model_context_decorator (region_model_context *inner)
1147 region_model_context *m_inner;
1171 note_adding_context (region_model_context *inner)
1297 /* An implementation of region_model_context for use in selftests, which
Indexes created Sun Mar 01 05:31:48 UTC 2026