Home | History | Annotate | Download | only in Checkers

Lines Matching refs:reverseTest

436   DefinedOrUnknownSVal *reverseTest = dyn_cast<DefinedOrUnknownSVal>(&reverse);
437   if (!reverseTest)
440   llvm::tie(stateTrue, stateFalse) = state->assume(*reverseTest);