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 925 /// getSymbolicRegion - Retrieve or create a "symbolic" memory region.
926 const SymbolicRegion *MemRegionManager::getSymbolicRegion(SymbolRef sym) {
    [all...]
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h 300 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
MemRegion.h     [all...]

Completed in 152 milliseconds