Searched refs:trueState (Results 1 - 1 of 1) sorted by relevance
/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | UnixAPIChecker.cpp | 116 ProgramStateRef trueState, falseState; local 117 std::tie(trueState, falseState) = state->assume(maskedFlags); 121 if (!(trueState && !falseState)) 125 ExplodedNode *N = C.generateSink(trueState); 192 // Fills in trueState and falseState. 195 ProgramStateRef *trueState, 197 std::tie(*trueState, *falseState) = 200 return (*falseState && !*trueState); 242 ProgramStateRef trueState = nullptr, falseState = nullptr; local 250 if (IsZeroByteAllocation(state, argVal, &trueState, 193 IsZeroByteAllocation(ProgramStateRef state, const SVal argVal, ProgramStateRef *trueState, ProgramStateRef *falseState) argument 267 ProgramStateRef trueState = nullptr, falseState = nullptr; local [all...] |
Completed in 65 milliseconds