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

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.h334 class UnknownSpaceRegion : public MemSpaceRegion { class in namespace:clang::ento
337 UnknownSpaceRegion(MemRegionManager *mgr) function in class:clang::ento::UnknownSpaceRegion
1117 UnknownSpaceRegion *unknown;
/external/clang/lib/StaticAnalyzer/Core/
H A DMemRegion.cpp427 void UnknownSpaceRegion::anchor() { }
545 void UnknownSpaceRegion::dumpToStream(raw_ostream &os) const {
546 os << "UnknownSpaceRegion";
H A DRegionStore.cpp1644 // constant variables may appear in UnknownSpaceRegion.
1645 if (isa<UnknownSpaceRegion>(MS))
/external/clang/lib/StaticAnalyzer/Checkers/
H A DMallocChecker.cpp725 if (!(isa<UnknownSpaceRegion>(MS) || isa<HeapSpaceRegion>(MS))) {
727 // represented by conjured symbols, which are all in UnknownSpaceRegion.
731 // function, so UnknownSpaceRegion is always a possibility.

Completed in 75 milliseconds