Lines Matching defs:Region
40 SymbolRef Region;
44 Region(R) {}
48 Region == X.Region);
53 ID.AddPointer(Region);
121 /// region.
124 // The allocated region symbol tracked by the main analysis.
201 // Implicit casts (ex: void* -> char*) can turn Symbolic region into element
202 // region, if that is the case, get the underlining region.
256 // Report deallocator mismatch. Remove the region from tracking - reporting a
303 if (!definitelyReturnedError(AS->Region, State, C.getSValBuilder())) {
424 if (!definitelyDidnotReturnError(AS->Region, State, C.getSValBuilder())) {
466 // If the argument points to something that's not a symbolic region, it
540 definitelyReturnedError(I->second.Region, State, C.getSValBuilder()))
577 definitelyReturnedError(I->second.Region, state,
