Home | History | Annotate | Download | only in Checkers

Lines Matching refs:stateTrue

429   ProgramStateRef stateTrue, stateFalse;
446   std::tie(stateTrue, stateFalse) =
449   if (stateTrue && !stateFalse) {
451     emitOverlapBug(C, stateTrue, First, Second);
468   std::tie(stateTrue, stateFalse) = state->assume(*reverseTest);
469   if (stateTrue) {
513   std::tie(stateTrue, stateFalse) = state->assume(*OverlapTest);
515   if (stateTrue && !stateFalse) {
517     emitOverlapBug(C, stateTrue, First, Second);