148   ProgramStateRef trueState, falseState;  in CheckOpen()  local
149   std::tie(trueState, falseState) = state->assume(maskedFlags);  in CheckOpen()
153   if (!(trueState && !falseState))  in CheckOpen()
157     ReportOpenBug(C, trueState,  in CheckOpen()
219                                 ProgramStateRef *trueState,  in IsZeroByteAllocation()  argument
221   std::tie(*trueState, *falseState) =  in IsZeroByteAllocation()
224   return (*falseState && !*trueState);  in IsZeroByteAllocation()
266   ProgramStateRef trueState = nullptr, falseState = nullptr;  in BasicAllocationCheck()  local
274   if (IsZeroByteAllocation(state, argVal, &trueState, &falseState)) {  in BasicAllocationCheck()
279   assert(trueState);  in BasicAllocationCheck()
280   if (trueState != state)  in BasicAllocationCheck()
281     C.addTransition(trueState);  in BasicAllocationCheck()
291   ProgramStateRef trueState = nullptr, falseState = nullptr;  in CheckCallocZero()  local
304     if (IsZeroByteAllocation(state, argVal, &trueState, &falseState)) {  in CheckCallocZero()
315   assert(trueState);  in CheckCallocZero()
316   if (trueState != state)  in CheckCallocZero()
317     C.addTransition(trueState);  in CheckCallocZero()