Lines Matching refs:SEV
2225 Optional<nonloc::SymbolVal> SEV = V.getAs<nonloc::SymbolVal>();2226 if (SEV && SEV->isExpression()) {2231 std::tie(StateTrue, StateFalse) = state->assume(*SEV);