Searched refs:falseState (Results 1 - 1 of 1) sorted by relevance

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DUnixAPIChecker.cpp79 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