HomeSort by relevance Sort by last modified time
    Searched refs:UnknownSpaceRegion (Results 1 - 4 of 4) sorted by null

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
MemRegion.h 334 class UnknownSpaceRegion : public MemSpaceRegion {
337 UnknownSpaceRegion(MemRegionManager *mgr)
    [all...]
  /external/clang/lib/StaticAnalyzer/Core/
MemRegion.cpp 427 void UnknownSpaceRegion::anchor() { }
545 void UnknownSpaceRegion::dumpToStream(raw_ostream &os) const {
546 os << "UnknownSpaceRegion";
    [all...]
RegionStore.cpp     [all...]
  /external/clang/lib/StaticAnalyzer/Checkers/
MallocChecker.cpp 725 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.
    [all...]

Completed in 409 milliseconds