Searched refs:trueState (Results 1 – 1 of 1) sorted by relevance
247 ProgramStateRef trueState, falseState; in CheckOpenVariant() local252 if (!(trueState && !falseState)) in CheckOpenVariant()262 ReportOpenBug(C, trueState, in CheckOpenVariant()326 std::tie(*trueState, *falseState) = in IsZeroByteAllocation()329 return (*falseState && !*trueState); in IsZeroByteAllocation()386 assert(trueState); in BasicAllocationCheck()387 if (trueState != state) in BasicAllocationCheck()388 C.addTransition(trueState); in BasicAllocationCheck()422 assert(trueState); in CheckCallocZero()423 if (trueState != state) in CheckCallocZero()[all …]