Searched refs:trueState (Results 1 – 1 of 1) sorted by relevance
242 ProgramStateRef trueState, falseState; in CheckOpenVariant() local247 if (!(trueState && !falseState)) in CheckOpenVariant()257 ReportOpenBug(C, trueState, in CheckOpenVariant()319 std::tie(*trueState, *falseState) = in IsZeroByteAllocation()322 return (*falseState && !*trueState); in IsZeroByteAllocation()376 assert(trueState); in BasicAllocationCheck()377 if (trueState != state) in BasicAllocationCheck()378 C.addTransition(trueState); in BasicAllocationCheck()412 assert(trueState); in CheckCallocZero()413 if (trueState != state) in CheckCallocZero()[all …]