Home | History | Annotate | Download | only in Checkers

Lines Matching refs:stateNull

230   ProgramStateRef stateNull, stateNonNull;
231   llvm::tie(stateNull, stateNonNull) = assumeZero(C, state, l, S->getType());
233   if (stateNull && !stateNonNull) {
237     ExplodedNode *N = C.generateSink(stateNull);