Lines Matching defs:trueState

289   ProgramStateRef trueState, falseState;
290   std::tie(trueState, falseState) = state->assume(maskedFlags);
294   if (!(trueState && !falseState))
304     ReportOpenBug(C, trueState,
448 // Fills in trueState and falseState.
451                                  ProgramStateRef *trueState,
453   std::tie(*trueState, *falseState) =
456   return (*falseState && !*trueState);
497   ProgramStateRef trueState = nullptr, falseState = nullptr;
505   if (IsZeroByteAllocation(state, argVal, &trueState, &falseState)) {
510   assert(trueState);
511   if (trueState != state)
512     C.addTransition(trueState);
522   ProgramStateRef trueState = nullptr, falseState = nullptr;
535     if (IsZeroByteAllocation(state, argVal, &trueState, &falseState)) {
546   assert(trueState);
547   if (trueState != state)
548     C.addTransition(trueState);