Searched defs: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 73 milliseconds