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