Home
last modified time | relevance | path

Searched refs:getSymbolicRegion (Results 1 – 7 of 7) sorted by relevance

/llvm-project-15.0.7/clang/test/Analysis/
H A Dcxx-uninitialized-object-inheritance.cpp829 SymbolicSuperRegionDerived *getSymbolicRegion();
832 SymbolicSuperRegionDerived test(getSymbolicRegion()); in fSymbolicSuperRegionTest()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DSValBuilder.cpp153 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getRegionValueSymbolVal()
190 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in conjureSymbolVal()
208 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in conjureSymbolVal()
245 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getMetadataSymbolVal()
264 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getDerivedRegionValueSymbolVal()
H A DConstraintManager.cpp29 State->getStateManager().getRegionManager().getSymbolicRegion(Sym); in getLocFromSymbol()
H A DMemRegion.cpp1153 MemRegionManager::getSymbolicRegion(SymbolRef sym, in getSymbolicRegion() function in MemRegionManager
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DErrnoModeling.cpp172 RMgr.getSymbolicRegion(Sym, GlobalSystemSpace), C.getASTContext()); in checkBeginFunction()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h357 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in makeLoc()
H A DMemRegion.h1420 getSymbolicRegion(SymbolRef Sym, const MemSpaceRegion *MemSpace = nullptr);