Home | History | Annotate | Download | only in Checkers

Lines Matching refs:stateTrue

433   ProgramStateRef stateTrue, stateFalse;
450   llvm::tie(stateTrue, stateFalse) =
453   if (stateTrue && !stateFalse) {
455     emitOverlapBug(C, stateTrue, First, Second);
471   llvm::tie(stateTrue, stateFalse) = state->assume(*reverseTest);
472   if (stateTrue) {
519   llvm::tie(stateTrue, stateFalse) = state->assume(*OverlapTest);
521   if (stateTrue && !stateFalse) {
523     emitOverlapBug(C, stateTrue, First, Second);