Searched refs:ReallocSym (Results 1 – 1 of 1) sorted by relevance
3148 SymbolRef ReallocSym = ReallocPair.ReallocatedSym; in evalAssume() local3149 if (const RefState *RS = state->get<RegionState>(ReallocSym)) { in evalAssume()3153 state = state->set<RegionState>(ReallocSym, in evalAssume()3157 state = state->remove<RegionState>(ReallocSym); in evalAssume()