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

/freebsd-10.2-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DUnixAPIChecker.cpp121 ProgramStateRef trueState, falseState; local
122 llvm::tie(trueState, falseState) = state->assume(maskedFlags);
126 if (!(trueState && !falseState))
130 ExplodedNode *N = C.generateSink(trueState);
197 // Fills in trueState and falseState.
200 ProgramStateRef *trueState,
202 llvm::tie(*trueState, *falseState) =
205 return (*falseState && !*trueState);
247 ProgramStateRef trueState = NULL, falseState = NULL; local
255 if (IsZeroByteAllocation(state, argVal, &trueState,
198 IsZeroByteAllocation(ProgramStateRef state, const SVal argVal, ProgramStateRef *trueState, ProgramStateRef *falseState) argument
272 ProgramStateRef trueState = NULL, falseState = NULL; local
[all...]

Completed in 21 milliseconds