Searched refs:LastSetuidSym (Results 1 – 1 of 1) sorted by relevance
94 SymbolRef LastSetuidSym = State->get<LastSetuidCallSVal>(); in evalAssume() local95 if (!LastSetuidSym) in evalAssume()104 SVB.evalBinOpNN(State, BO_NE, nonloc::SymbolVal(LastSetuidSym), in evalAssume()