Searched refs:SymBase (Results 1 – 2 of 2) sorted by relevance
234 const auto *SymBase = Reg->getSymbolicBase(); in findInvalidatedSymbolicBase() local235 if (!SymBase) in findInvalidatedSymbolicBase()237 const auto *SRV = dyn_cast<SymbolRegionValue>(SymBase->getSymbol()); in findInvalidatedSymbolicBase()
1986 SymbolRef SymBase = SrBase->getSymbol(); in FreeMemAux() local1987 const RefState *RsBase = State->get<RegionState>(SymBase); in FreeMemAux()2003 !didPreviousFreeFail(State, SymBase, PreviousRetStatusSymbol)) { in FreeMemAux()2005 SymBase, PreviousRetStatusSymbol); in FreeMemAux()2017 RsBase, SymBase, Hold); in FreeMemAux()2035 if (SymBase->getType()->isFunctionPointerType()) { in FreeMemAux()2042 State = State->remove<FreeReturnValue>(SymBase); in FreeMemAux()2050 C.getSymbolManager().addSymbolDependency(SymBase, RetStatusSymbol); in FreeMemAux()2051 State = State->set<FreeReturnValue>(SymBase, RetStatusSymbol); in FreeMemAux()2063 return State->set<RegionState>(SymBase, in FreeMemAux()[all …]