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