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

  /external/clang/lib/StaticAnalyzer/Core/
ConstraintManager.cpp 24 .getSymbolicRegion(Sym);
SValBuilder.cpp 104 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
135 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
151 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
178 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
194 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
MemRegion.cpp 937 /// getSymbolicRegion - Retrieve or create a "symbolic" memory region.
938 const SymbolicRegion *MemRegionManager::getSymbolicRegion(SymbolRef sym) {
    [all...]
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h 301 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
MemRegion.h     [all...]

Completed in 197 milliseconds