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