Home | History | Annotate | Download | only in Checkers

Lines Matching refs:stateTrue

588   ProgramStateRef stateTrue, stateFalse;
589   std::tie(stateTrue, stateFalse) = state->assume(ArgIsNull);
591   if (stateTrue && !stateFalse) {
592     ExplodedNode *N = C.generateSink(stateTrue);