gcc/analyzer/region-model.cc

990 	const symbolic_region &this_sub
991 	  = (const symbolic_region &)*this;
992 	const symbolic_region &other_sub
993 	  = (const symbolic_region &)other;
1653   /* Are we within a symbolic_region?  If so, it could be NULL.  */
1654   if (const symbolic_region *sym_reg = dyn_cast_symbolic_region ())
3412 /* class symbolic_region : public map_region.  */
3414 /* symbolic_region's copy ctor.  */
3416 symbolic_region::symbolic_region (const symbolic_region &other)
3422 /* Compare the fields of this symbolic_region with OTHER, returning true
3427 symbolic_region::compare_fields (const symbolic_region &other) const
3432 /* Implementation of region::clone vfunc for symbolic_region.  */
3435 symbolic_region::clone () const
3437   return new symbolic_region (*this);
3441    symbolic_region.  */
3444 symbolic_region::walk_for_canonicalization (canonicalization *) const
3449 /* Implementation of region::print_fields vfunc for symbolic_region.  */
3452 symbolic_region::print_fields (const region_model &model,
4390 	    = add_region (new symbolic_region (frame_rid, NULL_TREE, false));
4876 	       symbolic_region here.  If so, we're in error-handling. */
5005     = add_region (new symbolic_region (m_root_rid, NULL_TREE, false));
5426 	/* We need a symbolic_region to represent this unknown region.
5430 	  = add_region (new symbolic_region (m_root_rid, NULL_TREE, false));
5643   /* If we now know a symbolic_region is non-NULL, clear its
5649 	if (symbolic_region *sym_reg = pointee->dyn_cast_symbolic_region ())
5831   return add_region (new symbolic_region (heap_rid, NULL_TREE, true));
6440     return new symbolic_region (parent_rid, type, false);
8789   /* We should have a symbolic_region with m_possibly_null: true.  */
8791   symbolic_region *sym_reg = pointee->dyn_cast_symbolic_region ();