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