Searched refs:trueState (Results 1 - 1 of 1) sorted by relevance
/freebsd-10.2-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
H A D | UnixAPIChecker.cpp | 121 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