Searched refs:falseState (Results 1 – 1 of 1) sorted by relevance
78 ProgramStateRef falseState,247 ProgramStateRef trueState, falseState; in CheckOpenVariant() local248 std::tie(trueState, falseState) = state->assume(maskedFlags); in CheckOpenVariant()252 if (!(trueState && !falseState)) in CheckOpenVariant()325 ProgramStateRef *falseState) { in IsZeroByteAllocation() argument326 std::tie(*trueState, *falseState) = in IsZeroByteAllocation()329 return (*falseState && !*trueState); in IsZeroByteAllocation()340 ExplodedNode *N = C.generateErrorNode(falseState); in ReportZeroByteAllocation()373 ProgramStateRef trueState = nullptr, falseState = nullptr; in BasicAllocationCheck() local382 (void) ReportZeroByteAllocation(C, falseState, arg, fn); in BasicAllocationCheck()[all …]