Searched refs:Contradicted (Results 1 – 2 of 2) sorted by relevance
56 case Nullability::Contradicted: in getNullabilityString()810 State = State->set<NullabilityMap>(Region, Nullability::Contradicted); in checkPostCall()890 State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted); in checkPostObjCMessage()900 State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted); in checkPostObjCMessage()913 Nullability::Contradicted); in checkPostObjCMessage()1001 State = State->set<NullabilityMap>(Region, Nullability::Contradicted); in checkPostStmt()1020 TrackedNullability->getValue() != Nullability::Contradicted) { in checkPostStmt()1021 State = State->set<NullabilityMap>(Region, Nullability::Contradicted); in checkPostStmt()
55 Contradicted, // Tracked nullability is contradicted by an explicit cast. Do enumerator