Searched refs:trueState (Results 1 – 1 of 1) sorted by relevance
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | UnixAPIChecker.cpp | 249 ProgramStateRef trueState, falseState; in CheckOpenVariant() local
250 std::tie(trueState, falseState) = state->assume(maskedFlags); in CheckOpenVariant()
254 if (!(trueState && !falseState)) in CheckOpenVariant()
264 ReportOpenBug(C, trueState, in CheckOpenVariant()
326 ProgramStateRef *trueState, in IsZeroByteAllocation() argument
328 std::tie(*trueState, *falseState) = in IsZeroByteAllocation()
331 return (*falseState && !*trueState); in IsZeroByteAllocation()
375 ProgramStateRef trueState = nullptr, falseState = nullptr; in BasicAllocationCheck() local
383 if (IsZeroByteAllocation(state, argVal, &trueState, &falseState)) { in BasicAllocationCheck()
388 assert(trueState); in BasicAllocationCheck()
[all …]
|