Home
last modified time | relevance | path

Searched refs:getSymbolicBase (Results 1 – 8 of 8) sorted by relevance

/openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
DMismatchedIteratorChecker.cpp210 if (const auto *ContSym = Cont->getSymbolicBase()) { in verifyMatch()
226 if (const auto *ContSym = IterCont->getSymbolicBase()) { in verifyMatch()
256 if (const auto *ContSym = IterCont1->getSymbolicBase()) { in verifyMatch()
266 if (const auto *ContSym = IterCont2->getSymbolicBase()) { in verifyMatch()
DMIGChecker.cpp138 const SymbolicRegion *SR = MR->getSymbolicBase(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
DCheckObjCDealloc.cpp324 return IvarRegion->getSymbolicBase()->getSymbol(); in getInstanceSymbolFromIvarSymbol()
/openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/cert/
DInvalidPtrChecker.cpp170 const auto *SymBase = Reg->getSymbolicBase(); in findInvalidatedSymbolicBase()
/openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Core/
DSVals.cpp72 IncludeBaseRegions ? R->getSymbolicBase() in getAsLocSymbol()
DSValBuilder.cpp726 if (const SymbolicRegion *SymR = R->getSymbolicBase()) { in VisitLocMemRegionVal()
DMemRegion.cpp1365 const SymbolicRegion *MemRegion::getSymbolicBase() const { in getSymbolicBase() function in MemRegion
/openbsd/src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DMemRegion.h137 const SymbolicRegion *getSymbolicBase() const;
1310 assert(SReg->getSymbolicBase() && in CXXDerivedObjectRegion()