Lines Matching refs:TrackedNullability
487 const NullabilityState *TrackedNullability = in checkEvent() local
490 if (!TrackedNullability) in checkEvent()
494 TrackedNullability->getValue() == Nullability::Nullable) { in checkEvent()
611 const NullabilityState *TrackedNullability = in checkPreStmt() local
613 if (TrackedNullability) { in checkPreStmt()
614 Nullability TrackedNullabValue = TrackedNullability->getValue(); in checkPreStmt()
703 const NullabilityState *TrackedNullability = in checkPreCall() local
706 if (TrackedNullability) { in checkPreCall()
708 TrackedNullability->getValue() != Nullability::Nullable) in checkPreCall()
777 const NullabilityState *TrackedNullability = in checkPostCall() local
780 if (!TrackedNullability && in checkPostCall()
969 const NullabilityState *TrackedNullability = in checkPostStmt() local
972 if (!TrackedNullability) { in checkPostStmt()
981 if (TrackedNullability->getValue() != DestNullability && in checkPostStmt()
982 TrackedNullability->getValue() != Nullability::Contradicted) { in checkPostStmt()
1134 const NullabilityState *TrackedNullability = in checkBind() local
1137 if (TrackedNullability) { in checkBind()
1139 TrackedNullability->getValue() != Nullability::Nullable) in checkBind()