Searched refs:StNonNull (Results 1 – 3 of 3) sorted by relevance
105 ProgramStateRef StNonNull, StNull; in checkReference() local106 std::tie(StNonNull, StNull) = C.getState()->assume(RetVal); in checkReference()108 if (StNonNull) { in checkReference()110 C.addTransition(StNonNull); in checkReference()
314 ProgramStateRef StNonNull, StNull; in checkPreStmt() local315 std::tie(StNonNull, StNull) = State->assume(L.castAs<DefinedOrUnknownSVal>()); in checkPreStmt()317 if (StNull && !StNonNull) { in checkPreStmt()325 C.addTransition(StNonNull); in checkPreStmt()369 ProgramStateRef StNonNull, StNull; in checkPreCall() local370 std::tie(StNonNull, StNull) = in checkPreCall()373 if (StNull && !StNonNull) { in checkPreCall()381 State = StNonNull; in checkPreCall()
242 ProgramStateRef StNonNull, StNull; in checkBind() local243 std::tie(StNonNull, StNull) = State->assume(V.castAs<DefinedOrUnknownSVal>()); in checkBind()246 if (!StNonNull) { in checkBind()