Searched refs:getSymbolicBase (Results 1 – 7 of 7) sorted by relevance
208 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()
136 const SymbolicRegion *SR = MR->getSymbolicBase(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
323 return IvarRegion->getSymbolicBase()->getSymbol(); in getInstanceSymbolFromIvarSymbol()
91 IncludeBaseRegions ? R->getSymbolicBase() in getAsLocSymbol()
722 if (const SymbolicRegion *SymR = R->getSymbolicBase()) { in evalCastSubKind()
1326 const SymbolicRegion *MemRegion::getSymbolicBase() const { in getSymbolicBase() function in MemRegion
133 const SymbolicRegion *getSymbolicBase() const;1260 assert(SReg->getSymbolicBase() && in CXXDerivedObjectRegion()