Home | History | Annotate | Download | only in Checkers

Lines Matching refs:OverlapTest

508   Optional<DefinedOrUnknownSVal> OverlapTest =
510   if (!OverlapTest)
513   std::tie(stateTrue, stateFalse) = state->assume(*OverlapTest);