Lines Matching defs:falseState

101                                 ProgramStateRef falseState,
289   ProgramStateRef trueState, falseState;
290   std::tie(trueState, falseState) = state->assume(maskedFlags);
294   if (!(trueState && !falseState))
448 // Fills in trueState and falseState.
452                                  ProgramStateRef *falseState) {
453   std::tie(*trueState, *falseState) =
456   return (*falseState && !*trueState);
464                                                     ProgramStateRef falseState,
467   ExplodedNode *N = C.generateErrorNode(falseState);
497   ProgramStateRef trueState = nullptr, falseState = nullptr;
505   if (IsZeroByteAllocation(state, argVal, &trueState, &falseState)) {
506     (void) ReportZeroByteAllocation(C, falseState, arg, fn);
522   ProgramStateRef trueState = nullptr, falseState = nullptr;
535     if (IsZeroByteAllocation(state, argVal, &trueState, &falseState)) {
536       if (ReportZeroByteAllocation(C, falseState, arg, "calloc"))