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 107 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
144 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
163 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
192 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
211 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
MemRegion.cpp 940 /// getSymbolicRegion - Retrieve or create a "symbolic" memory region.
941 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 52 milliseconds