Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DMismatchedIteratorChecker.cpp208 if (const auto *ContSym = Cont->getSymbolicBase()) { in verifyMatch()
224 if (const auto *ContSym = IterCont->getSymbolicBase()) { in verifyMatch()
254 if (const auto *ContSym = IterCont1->getSymbolicBase()) { in verifyMatch()
264 if (const auto *ContSym = IterCont2->getSymbolicBase()) { in verifyMatch()
H A DMIGChecker.cpp137 const SymbolicRegion *SR = MR->getSymbolicBase(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
H A DCheckObjCDealloc.cpp323 return IvarRegion->getSymbolicBase()->getSymbol(); in getInstanceSymbolFromIvarSymbol()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/cert/
H A DInvalidPtrChecker.cpp168 const auto *SymBase = Reg->getSymbolicBase(); in findInvalidatedSymbolicBase()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DSVals.cpp72 IncludeBaseRegions ? R->getSymbolicBase() in getAsLocSymbol()
H A DSValBuilder.cpp724 if (const SymbolicRegion *SymR = R->getSymbolicBase()) { in VisitLocMemRegionVal()
H A DMemRegion.cpp1350 const SymbolicRegion *MemRegion::getSymbolicBase() const { in getSymbolicBase() function in MemRegion
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.h137 const SymbolicRegion *getSymbolicBase() const;
1298 assert(SReg->getSymbolicBase() && in CXXDerivedObjectRegion()