Lines Matching defs:Region
40 SymbolRef Region;
44 Region(R) {}
48 Region == X.Region);
53 ID.AddPointer(Region);
126 R->markInteresting(AP.second->Region);
131 /// region.
135 // The allocated region symbol tracked by the main analysis.
252 // Report deallocator mismatch. Remove the region from tracking - reporting a
298 if (!definitelyReturnedError(AS->Region, State, C.getSValBuilder())) {
316 Report->markInteresting(AS->Region);
369 Report->markInteresting(AS->Region);
426 Region, State, C.getSValBuilder())) {
435 Report->markInteresting(AS->Region);
465 // If the argument points to something that's not a symbolic region, it
568 definitelyReturnedError(I->second.Region, State, C.getSValBuilder()))
