Home | History | Annotate | Download | only in PathSensitive

Lines Matching defs:Region

45 /// Represent a region's offset within the top level base region.
47 /// The base region.
50 /// The bit offset within the base region. It shouldn't be negative.
62 // Base region classes.
153 /// MemSpaceRegion - A memory region that represents and "memory space";
291 /// SubRegion - A region that subsets another larger region. Most regions
302 /// getExtent - Returns the size of the region in bytes.
320 /// AllocaRegion - A region that represents an untyped blob of bytes created
413 /// FunctionTextRegion - A region that represents code texts of function.
441 /// BlockTextRegion - A region that represents code texts of blocks (closures).
482 /// BlockDataRegion - A region that represents a block instance.
545 /// SymbolicRegion - A special, "non-concrete" region. Unlike other region
546 /// clases, SymbolicRegion represents a region that serves as an alias for
547 /// either a real region, a NULL pointer, etc. It essentially is used to
579 /// StringRegion - Region associated with a StringLiteral.
615 /// CompoundLiteralRegion - A memory region representing a compound literal.
700 /// CXXThisRegion - Represents the region for the implicit 'this' parameter
701 /// in a call to a C++ method. This region doesn't represent the object
791 const MemRegion *Region;
795 : Region(reg), Offset(offset) {}
800 const MemRegion *getRegion() const { return Region; }
875 // identified by the base class declaration and the region of its parent object.
896 static bool classof(const MemRegion *region) {
897 return region->getKind() == CXXBaseObjectRegionKind;
941 /// getStackLocalsRegion - Retrieve the memory region associated with the
946 /// getStackArgumentsRegion - Retrieve the memory region associated with
951 /// getGlobalsRegion - Retrieve the memory region associated with
955 /// getHeapRegion - Retrieve the memory region associated with the
959 /// getUnknownRegion - Retrieve the memory region associated with unknown
965 /// getAllocaRegion - Retrieve a region associated with a call to alloca().
969 /// getCompoundLiteralRegion - Retrieve the region associated with a
975 /// getCXXThisRegion - Retrieve the [artificial] region associated with the
980 /// getSymbolicRegion - Retrieve or create a "symbolic" memory region.
985 /// getVarRegion - Retrieve or create the memory region associated with
989 /// getVarRegion - Retrieve or create the memory region associated with
990 /// a specified VarDecl and super region.
993 /// getElementRegion - Retrieve the memory region associated with the
994 /// associated element type, index, and super region.
1005 /// getFieldRegion - Retrieve or create the memory region associated with
1007 /// memory region (which typically represents the memory representing
1017 /// getObjCIvarRegion - Retrieve or create the memory region associated with
1019 /// to the containing region (which typically represents the Objective-C
1031 /// super region.
1043 /// getBlockDataRegion - Get the memory region associated with an instance
1074 const REG* LazyAllocate(REG*& region);
1077 const REG* LazyAllocate(REG*& region, ARG a);