247   ProgramStateRef trueState, falseState;  in CheckOpenVariant()  local
248   std::tie(trueState, falseState) = state->assume(maskedFlags);  in CheckOpenVariant()
252   if (!(trueState && !falseState))  in CheckOpenVariant()
262     ReportOpenBug(C, trueState,  in CheckOpenVariant()
324                                  ProgramStateRef *trueState,  in IsZeroByteAllocation()  argument
326   std::tie(*trueState, *falseState) =  in IsZeroByteAllocation()
329   return (*falseState && !*trueState);  in IsZeroByteAllocation()
373   ProgramStateRef trueState = nullptr, falseState = nullptr;  in BasicAllocationCheck()  local
381   if (IsZeroByteAllocation(state, argVal, &trueState, &falseState)) {  in BasicAllocationCheck()
386   assert(trueState);  in BasicAllocationCheck()
387   if (trueState != state)  in BasicAllocationCheck()
388     C.addTransition(trueState);  in BasicAllocationCheck()
398   ProgramStateRef trueState = nullptr, falseState = nullptr;  in CheckCallocZero()  local
411     if (IsZeroByteAllocation(state, argVal, &trueState, &falseState)) {  in CheckCallocZero()
422   assert(trueState);  in CheckCallocZero()
423   if (trueState != state)  in CheckCallocZero()
424     C.addTransition(trueState);  in CheckCallocZero()