Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DErrnoModeling.cpp134 RMgr.getSymbolicRegion(Sym, GlobalSystemSpace), C.getASTContext()); in checkBeginFunction()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h378 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in makeLoc()
H A DMemRegion.h1483 getSymbolicRegion(SymbolRef Sym, const MemSpaceRegion *MemSpace = nullptr);
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DMemRegion.cpp1203 MemRegionManager::getSymbolicRegion(SymbolRef sym, in getSymbolicRegion() function in MemRegionManager