Searched refs:Contradicted (Results 1 – 1 of 1) sorted by relevance
47 Contradicted, // Tracked nullability is contradicted by an explicit cast. Do enumerator68 case Nullability::Contradicted: in getNullabilityString()648 State = State->set<NullabilityMap>(Region, Nullability::Contradicted); in checkPostCall()728 State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted); in checkPostObjCMessage()738 State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted); in checkPostObjCMessage()751 Nullability::Contradicted); in checkPostObjCMessage()840 State = State->set<NullabilityMap>(Region, Nullability::Contradicted); in checkPostStmt()859 TrackedNullability->getValue() != Nullability::Contradicted) { in checkPostStmt()860 State = State->set<NullabilityMap>(Region, Nullability::Contradicted); in checkPostStmt()