Searched refs:SymBase (Results 1 – 2 of 2) sorted by relevance
239 const auto *SymBase = Reg->getSymbolicBase(); in findInvalidatedSymbolicBase() local240 if (!SymBase) in findInvalidatedSymbolicBase()242 const auto *SRV = dyn_cast<SymbolRegionValue>(SymBase->getSymbol()); in findInvalidatedSymbolicBase()
2034 SymbolRef SymBase = SrBase->getSymbol(); in FreeMemAux() local2035 const RefState *RsBase = State->get<RegionState>(SymBase); in FreeMemAux()2051 !didPreviousFreeFail(State, SymBase, PreviousRetStatusSymbol)) { in FreeMemAux()2053 SymBase, PreviousRetStatusSymbol); in FreeMemAux()2065 RsBase, SymBase, Hold); in FreeMemAux()2083 if (SymBase->getType()->isFunctionPointerType()) { in FreeMemAux()2090 State = State->remove<FreeReturnValue>(SymBase); in FreeMemAux()2098 C.getSymbolManager().addSymbolDependency(SymBase, RetStatusSymbol); in FreeMemAux()2099 State = State->set<FreeReturnValue>(SymBase, RetStatusSymbol); in FreeMemAux()2111 return State->set<RegionState>(SymBase, in FreeMemAux()[all …]