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

  /external/clang/lib/StaticAnalyzer/Core/
SValBuilder.cpp 82 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
98 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
114 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
129 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
145 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
MemRegion.cpp 686 /// getSymbolicRegion - Retrieve or create a "symbolic" memory region.
687 const SymbolicRegion *MemRegionManager::getSymbolicRegion(SymbolRef sym) {
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h 239 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
MemRegion.h 980 /// getSymbolicRegion - Retrieve or create a "symbolic" memory region.
981 const SymbolicRegion* getSymbolicRegion(SymbolRef sym);
    [all...]

Completed in 93 milliseconds