Searched refs:getSymbolicBase (Results 1 – 8 of 8) sorted by relevance
200 if (const auto *ContSym = Cont->getSymbolicBase()) { in verifyMatch()216 if (const auto *ContSym = IterCont->getSymbolicBase()) { in verifyMatch()245 if (const auto *ContSym = IterCont1->getSymbolicBase()) { in verifyMatch()255 if (const auto *ContSym = IterCont2->getSymbolicBase()) { in verifyMatch()
138 const SymbolicRegion *SR = MR->getSymbolicBase(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
329 const SymbolicRegion *SR = IvarRegion->getSymbolicBase(); in getInstanceSymbolFromIvarSymbol()
72 IncludeBaseRegions ? R->getSymbolicBase() in getAsLocSymbol()
731 if (const SymbolicRegion *SymR = R->getSymbolicBase()) { in VisitMemRegionVal()
1393 const SymbolicRegion *MemRegion::getSymbolicBase() const { in getSymbolicBase() function in MemRegion
234 const auto *SymBase = Reg->getSymbolicBase(); in findInvalidatedSymbolicBase()
138 const SymbolicRegion *getSymbolicBase() const;1356 assert(SReg->getSymbolicBase() && in CXXDerivedObjectRegion()