Searched refs:falseState (Results 1 – 1 of 1) sorted by relevance
52 ProgramStateRef falseState,116 ProgramStateRef trueState, falseState; in CheckOpen() local117 std::tie(trueState, falseState) = state->assume(maskedFlags); in CheckOpen()121 if (!(trueState && !falseState)) in CheckOpen()196 ProgramStateRef *falseState) { in IsZeroByteAllocation() argument197 std::tie(*trueState, *falseState) = in IsZeroByteAllocation()200 return (*falseState && !*trueState); in IsZeroByteAllocation()207 ProgramStateRef falseState, in ReportZeroByteAllocation() argument210 ExplodedNode *N = C.generateSink(falseState); in ReportZeroByteAllocation()242 ProgramStateRef trueState = nullptr, falseState = nullptr; in BasicAllocationCheck() local[all …]