Searched refs:SymBase (Results 1 – 2 of 2) sorted by relevance
168 const auto *SymBase = Reg->getSymbolicBase(); in findInvalidatedSymbolicBase() local169 if (!SymBase) in findInvalidatedSymbolicBase()171 const auto *SRV = dyn_cast<SymbolRegionValue>(SymBase->getSymbol()); in findInvalidatedSymbolicBase()
1992 SymbolRef SymBase = SrBase->getSymbol(); in FreeMemAux() local1993 const RefState *RsBase = State->get<RegionState>(SymBase); in FreeMemAux()2009 !didPreviousFreeFail(State, SymBase, PreviousRetStatusSymbol)) { in FreeMemAux()2011 SymBase, PreviousRetStatusSymbol); in FreeMemAux()2023 RsBase, SymBase, Hold); in FreeMemAux()2041 if (SymBase->getType()->isFunctionPointerType()) { in FreeMemAux()2048 State = State->remove<FreeReturnValue>(SymBase); in FreeMemAux()2056 C.getSymbolManager().addSymbolDependency(SymBase, RetStatusSymbol); in FreeMemAux()2057 State = State->set<FreeReturnValue>(SymBase, RetStatusSymbol); in FreeMemAux()2069 return State->set<RegionState>(SymBase, in FreeMemAux()[all …]