Searched refs:trueState (Results 1 – 1 of 1) sorted by relevance
249 ProgramStateRef trueState, falseState; in CheckOpenVariant() local254 if (!(trueState && !falseState)) in CheckOpenVariant()264 ReportOpenBug(C, trueState, in CheckOpenVariant()328 std::tie(*trueState, *falseState) = in IsZeroByteAllocation()331 return (*falseState && !*trueState); in IsZeroByteAllocation()388 assert(trueState); in BasicAllocationCheck()389 if (trueState != state) in BasicAllocationCheck()390 C.addTransition(trueState); in BasicAllocationCheck()424 assert(trueState); in CheckCallocZero()425 if (trueState != state) in CheckCallocZero()[all …]