Searched refs:NonLocSymSVal (Results 1 – 1 of 1) sorted by relevance
2016 if (auto NonLocSymSVal = SymSVal.getAs<nonloc::SymbolVal>()) { in handleRemainderOp() local2017 State = State->assume(*NonLocSymSVal, true); in handleRemainderOp()