Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DMismatchedIteratorChecker.cpp206 if (const auto *ContSym = Cont->getSymbolicBase()) { in verifyMatch()
222 if (const auto *ContSym = IterCont->getSymbolicBase()) { in verifyMatch()
251 if (const auto *ContSym = IterCont1->getSymbolicBase()) { in verifyMatch()
261 if (const auto *ContSym = IterCont2->getSymbolicBase()) { in verifyMatch()
H A DPointerSubChecker.cpp60 if (LR->getSymbolicBase() || RR->getSymbolicBase()) in checkPreStmt()
H A DMIGChecker.cpp141 const SymbolicRegion *SR = MR->getSymbolicBase(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
H A DCheckObjCDealloc.cpp329 const SymbolicRegion *SR = IvarRegion->getSymbolicBase(); in getInstanceSymbolFromIvarSymbol()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/
H A DInvalidPtrChecker.cpp239 const auto *SymBase = Reg->getSymbolicBase(); in findInvalidatedSymbolicBase()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSVals.cpp71 IncludeBaseRegions ? R->getSymbolicBase() in getAsLocSymbol()
H A DSValBuilder.cpp732 if (const SymbolicRegion *SymR = R->getSymbolicBase()) { in VisitMemRegionVal()
H A DMemRegion.cpp1470 const SymbolicRegion *MemRegion::getSymbolicBase() const { in getSymbolicBase() function in MemRegion
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.h175 const SymbolicRegion *getSymbolicBase() const;
1389 assert(SReg->getSymbolicBase() && in CXXDerivedObjectRegion()