reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

Declarations

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h

 1314   const SymbolicRegion* getSymbolicRegion(SymbolRef Sym);

References

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h

  354     return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));

tools/clang/lib/StaticAnalyzer/Core/ConstraintManager.cpp

   28       State->getStateManager().getRegionManager().getSymbolicRegion(Sym);

tools/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp

  130     return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
  167     return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
  185     return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
  215     return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
  234     return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));