Searched refs:falseState (Results 1 – 2 of 2) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | UnixAPIChecker.cpp | 52 ProgramStateRef falseState,
148 ProgramStateRef trueState, falseState; in CheckOpen() local
149 std::tie(trueState, falseState) = state->assume(maskedFlags); in CheckOpen()
153 if (!(trueState && !falseState)) in CheckOpen()
220 ProgramStateRef *falseState) { in IsZeroByteAllocation() argument
221 std::tie(*trueState, *falseState) = in IsZeroByteAllocation()
224 return (*falseState && !*trueState); in IsZeroByteAllocation()
231 ProgramStateRef falseState, in ReportZeroByteAllocation() argument
234 ExplodedNode *N = C.generateErrorNode(falseState); in ReportZeroByteAllocation()
266 ProgramStateRef trueState = nullptr, falseState = nullptr; in BasicAllocationCheck() local
[all …]
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | UnixAPIChecker.cpp | 80 ProgramStateRef falseState,
249 ProgramStateRef trueState, falseState; in CheckOpenVariant() local
250 std::tie(trueState, falseState) = state->assume(maskedFlags); in CheckOpenVariant()
254 if (!(trueState && !falseState)) in CheckOpenVariant()
327 ProgramStateRef *falseState) { in IsZeroByteAllocation() argument
328 std::tie(*trueState, *falseState) = in IsZeroByteAllocation()
331 return (*falseState && !*trueState); in IsZeroByteAllocation()
339 ProgramStateRef falseState, in ReportZeroByteAllocation() argument
342 ExplodedNode *N = C.generateErrorNode(falseState); in ReportZeroByteAllocation()
375 ProgramStateRef trueState = nullptr, falseState = nullptr; in BasicAllocationCheck() local
[all …]
|