Home | History | Annotate | Download | only in Checkers

Lines Matching refs:stateTrue

549   ProgramStateRef stateTrue, stateFalse;
550   llvm::tie(stateTrue, stateFalse) = state->assume(ArgIsNull);
552   if (stateTrue && !stateFalse) {
553     ExplodedNode *N = C.generateSink(stateTrue);