Searched refs:falseState (Results 1 - 1 of 1) sorted by relevance
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | UnixAPIChecker.cpp | 79 ProgramStateRef falseState, 248 ProgramStateRef trueState, falseState; local 249 std::tie(trueState, falseState) = state->assume(maskedFlags); 253 if (!(trueState && !falseState)) 322 // Fills in trueState and falseState. 326 ProgramStateRef *falseState) { 327 std::tie(*trueState, *falseState) = 330 return (*falseState && !*trueState); 338 ProgramStateRef falseState, 341 ExplodedNode *N = C.generateErrorNode(falseState); 323 IsZeroByteAllocation(ProgramStateRef state, const SVal argVal, ProgramStateRef *trueState, ProgramStateRef *falseState) argument 336 ReportZeroByteAllocation( CheckerContext &C, ProgramStateRef falseState, const Expr *arg, const char *fn_name) const argument 374 ProgramStateRef trueState = nullptr, falseState = nullptr; local 399 ProgramStateRef trueState = nullptr, falseState = nullptr; local [all...] |
Completed in 95 milliseconds