Home | History | Annotate | Download | only in Checkers

Lines Matching refs:stateNull

212   const ProgramState *stateNull, *stateNonNull;
213   llvm::tie(stateNull, stateNonNull) = assumeZero(C, state, l, S->getType());
215   if (stateNull && !stateNonNull) {
216     ExplodedNode *N = C.generateSink(stateNull);