Home | History | Annotate | Download | only in Core

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);