Searched refs:Contradicted (Results 1 – 2 of 2) sorted by relevance
58 case Nullability::Contradicted: in getNullabilityString()894 State = State->set<NullabilityMap>(Region, Nullability::Contradicted); in checkPostCall()1006 State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted); in checkPostObjCMessage()1016 State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted); in checkPostObjCMessage()1029 Nullability::Contradicted); in checkPostObjCMessage()1159 State = State->set<NullabilityMap>(Region, Nullability::Contradicted); in checkPostStmt()1178 TrackedNullability->getValue() != Nullability::Contradicted) { in checkPostStmt()1179 State = State->set<NullabilityMap>(Region, Nullability::Contradicted); in checkPostStmt()
58 Contradicted, // Tracked nullability is contradicted by an explicit cast. Do enumerator