Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSValBuilder.cpp149 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getRegionValueSymbolVal()
188 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in conjureSymbolVal()
251 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getMetadataSymbolVal()
270 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getDerivedRegionValueSymbolVal()
H A DMemRegion.cpp1250 MemRegionManager::getSymbolicRegion(SymbolRef sym, in getSymbolicRegion() function in MemRegionManager
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DErrnoModeling.cpp132 RMgr.getSymbolicRegion(Sym, GlobalSystemSpace), C.getASTContext()); in checkBeginFunction()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h364 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in makeLoc()
H A DMemRegion.h1511 getSymbolicRegion(SymbolRef Sym, const MemSpaceRegion *MemSpace = nullptr);
/freebsd/contrib/llvm-project/llvm/include/llvm/Testing/Demangle/
H A DDemangleTestCases.inc7801 …ymbolicRegionEPKNS0_10SymbolDataE", "clang::ento::MemRegionManager::getSymbolicRegion(clang::ento:…