Searched refs:trueState (Results 1 – 1 of 1) sorted by relevance
214 ProgramStateRef trueState, falseState; in CheckOpenVariant() local219 if (!(trueState && !falseState)) in CheckOpenVariant()229 ReportOpenBug(C, trueState, in CheckOpenVariant()291 std::tie(*trueState, *falseState) = in IsZeroByteAllocation()294 return (*falseState && !*trueState); in IsZeroByteAllocation()349 assert(trueState); in BasicAllocationCheck()350 if (trueState != state) in BasicAllocationCheck()351 C.addTransition(trueState); in BasicAllocationCheck()385 assert(trueState); in CheckCallocZero()386 if (trueState != state) in CheckCallocZero()[all …]