Home
last modified time | relevance | path

Searched refs:UnknownSpaceRegion (Results 1 – 5 of 5) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DRegions.def55 REGION(UnknownSpaceRegion, MemSpaceRegion)
DMemRegion.h343 class UnknownSpaceRegion : public MemSpaceRegion {
346 UnknownSpaceRegion(MemRegionManager *mgr) in UnknownSpaceRegion() function
1135 UnknownSpaceRegion *unknown;
1172 const UnknownSpaceRegion *getUnknownRegion();
/external/clang/lib/StaticAnalyzer/Core/
DMemRegion.cpp425 void UnknownSpaceRegion::anchor() { } in anchor()
556 void UnknownSpaceRegion::dumpToStream(raw_ostream &os) const { in dumpToStream()
770 const UnknownSpaceRegion *MemRegionManager::getUnknownRegion() { in getUnknownRegion()
DRegionStore.cpp1844 if (isa<UnknownSpaceRegion>(MS)) in getBindingForVar()
/external/clang/lib/StaticAnalyzer/Checkers/
DMallocChecker.cpp1362 if (!(isa<UnknownSpaceRegion>(MS) || isa<HeapSpaceRegion>(MS))) { in FreeMemAux()