Cross Reference: /external/clang/lib/StaticAnalyzer/Checkers/UnixAPIChecker.cpp

Lines Matching defs:falseState

52                                 ProgramStateRef falseState,
116   ProgramStateRef trueState, falseState;
117   std::tie(trueState, falseState) = state->assume(maskedFlags);
121   if (!(trueState && !falseState))
192 // Fills in trueState and falseState.
196                                 ProgramStateRef *falseState) {
197   std::tie(*trueState, *falseState) =
200   return (*falseState && !*trueState);
207                                               ProgramStateRef falseState,
210   ExplodedNode *N = C.generateSink(falseState);
242   ProgramStateRef trueState = nullptr, falseState = nullptr;
250   if (IsZeroByteAllocation(state, argVal, &trueState, &falseState)) {
251     (void) ReportZeroByteAllocation(C, falseState, arg, fn); 
267   ProgramStateRef trueState = nullptr, falseState = nullptr;
280     if (IsZeroByteAllocation(state, argVal, &trueState, &falseState)) {
281       if (ReportZeroByteAllocation(C, falseState, arg, "calloc"))