Home
last modified time | relevance | path

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

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DMemRegion.h346 class UnknownSpaceRegion : public MemSpaceRegion {
349 UnknownSpaceRegion(MemRegionManager *mgr) in UnknownSpaceRegion() function
1139 UnknownSpaceRegion *unknown;
/external/clang/lib/StaticAnalyzer/Core/
DMemRegion.cpp429 void UnknownSpaceRegion::anchor() { } in anchor()
556 void UnknownSpaceRegion::dumpToStream(raw_ostream &os) const { in dumpToStream()
DRegionStore.cpp1844 if (isa<UnknownSpaceRegion>(MS)) in getBindingForVar()
/external/clang/lib/StaticAnalyzer/Checkers/
DMallocChecker.cpp1354 if (!(isa<UnknownSpaceRegion>(MS) || isa<HeapSpaceRegion>(MS))) { in FreeMemAux()