gcc/analyzer/region-model.h

512 				   region_model_context *ctxt);
631 			   region_model_context *ctxt) FINAL OVERRIDE;
873 		  region_model_context *ctxt);
875 		       region_model_context *ctxt);
880 				     region_model_context *ctxt);
1002 			   region_model_context *ctxt);
1276 			 region_model_context *ctxt);
1318 			 region_model_context *ctxt);
1382 			 region_model_context *ctxt);
1401 			   region_model_context *ctxt);
1474 		  region_model_context *ctxt);
1576 			region_model_context *ctxt);
1580 		  region_model_context *ctxt);
1711   void canonicalize (region_model_context *ctxt);
1714   void check_for_poison (tree expr, region_model_context *ctxt);
1715   void on_assignment (const gassign *stmt, region_model_context *ctxt);
1716   bool on_call_pre (const gcall *stmt, region_model_context *ctxt);
1719 		     region_model_context *ctxt);
1721 				 region_model_context *ctxt);
1722   void on_return (const greturn *stmt, region_model_context *ctxt);
1724 		  region_model_context *ctxt);
1726 		   int setjmp_stack_depth, region_model_context *ctxt);
1730 			region_model_context *ctxt);
1734 		   region_model_context *ctxt);
1738 			      region_model_context *ctxt);
1745 			region_model_context *ctxt);
1750 		  region_model_context *ctxt);
1762 				 region_model_context *ctxt);
1776   region_id get_lvalue (path_var pv, region_model_context *ctxt);
1777   region_id get_lvalue (tree expr, region_model_context *ctxt);
1778   svalue_id get_rvalue (path_var pv, region_model_context *ctxt);
1779   svalue_id get_rvalue (tree expr, region_model_context *ctxt);
1784 				   region_model_context *ctxt);
1786 				  region_model_context *ctxt);
1788   region_id get_region_for_fndecl (tree fndecl, region_model_context *ctxt);
1789   region_id get_region_for_label (tree label, region_model_context *ctxt);
1791   svalue_id maybe_cast (tree type, svalue_id sid, region_model_context *ctxt);
1795 			      region_model_context *ctxt);
1797   region_id deref_rvalue (svalue_id ptr_sid, region_model_context *ctxt);
1798   region_id deref_rvalue (tree ptr, region_model_context *ctxt);
1801 		  region_model_context *ctxt);
1802   void set_value (tree lhs, tree rhs, region_model_context *ctxt);
1804 				      region_model_context *ctxt);
1807 		    region_model_context *ctxt);
1818 			   region_model_context *ctxt);
1820 		       region_model_context *ctxt);
1831 			     region_model_context *ctxt,
1871 				   region_model_context *ctxt);
1875 					     region_model_context *ctxt);
1877 				region_model_context *ctxt);
1880 			    region_model_context *ctxt);
1883   region_id get_lvalue_1 (path_var pv, region_model_context *ctxt);
1884   svalue_id get_rvalue_1 (path_var pv, region_model_context *ctxt);
1887 			   struct_region *src_reg, region_model_context *ctxt);
1889 			  region_model_context *ctxt);
1891 			  array_region *src_reg, region_model_context *ctxt);
1893   region_id make_region_for_unexpected_tree_code (region_model_context *ctxt,
1900 					      region_model_context *ctxt);
1904 					 region_model_context *ctxt);
1908 				       region_model_context *ctxt);
1911 				  region_model_context *ctxt);
1913 				    region_model_context *ctxt);
1915 				region_model_context *ctxt);
1918 				    region_model_context *ctxt);
1921 				      region_model_context *ctxt);
1947 class region_model_context
2015 /* A "do nothing" subclass of region_model_context.  */
2017 class noop_region_model_context : public region_model_context
2051 /* A subclass of region_model_context for determining if operations fail
2191 /* An implementation of region_model_context for use in selftests, which