Home | History | Annotate | Download | only in Core

Lines Matching defs:SEV

2451     Optional<nonloc::SymbolVal> SEV = V.getAs<nonloc::SymbolVal>();
2452     if (SEV && SEV->isExpression()) {
2457       std::tie(StateTrue, StateFalse) = state->assume(*SEV);