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