Searched refs:StNull (Results 1 – 1 of 1) sorted by relevance
313 ProgramStateRef StNonNull, StNull; in checkBind() local314 std::tie(StNonNull, StNull) = State->assume(V.castAs<DefinedOrUnknownSVal>()); in checkBind()316 if (StNull) { in checkBind()320 reportBug(DerefKind::NullPointer, StNull, expr, C); in checkBind()327 if (ExplodedNode *N = C.generateSink(StNull, C.getPredecessor())) { in checkBind()