Lines Matching refs:TrackedNullability
512 const NullabilityState *TrackedNullability = in checkEvent() local
515 if (!TrackedNullability) in checkEvent()
519 TrackedNullability->getValue() == Nullability::Nullable) { in checkEvent()
637 const NullabilityState *TrackedNullability = in checkPreStmt() local
639 if (TrackedNullability) { in checkPreStmt()
640 Nullability TrackedNullabValue = TrackedNullability->getValue(); in checkPreStmt()
726 const NullabilityState *TrackedNullability = in checkPreCall() local
729 if (TrackedNullability) { in checkPreCall()
731 TrackedNullability->getValue() != Nullability::Nullable) in checkPreCall()
800 const NullabilityState *TrackedNullability = in checkPostCall() local
803 if (!TrackedNullability && in checkPostCall()
993 const NullabilityState *TrackedNullability = in checkPostStmt() local
996 if (!TrackedNullability) { in checkPostStmt()
1005 if (TrackedNullability->getValue() != DestNullability && in checkPostStmt()
1006 TrackedNullability->getValue() != Nullability::Contradicted) { in checkPostStmt()
1155 const NullabilityState *TrackedNullability = in checkBind() local
1158 if (TrackedNullability) { in checkBind()
1160 TrackedNullability->getValue() != Nullability::Nullable) in checkBind()