reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
757 if (State->get<InvariantViolated>()) 769 State = State->set<NullabilityMap>(Region, Nullability::Contradicted); 769 State = State->set<NullabilityMap>(Region, Nullability::Contradicted); 770 C.addTransition(State); 775 State->get<NullabilityMap>(Region); 779 State = State->set<NullabilityMap>(Region, Nullability::Nullable); 779 State = State->set<NullabilityMap>(Region, Nullability::Nullable); 780 C.addTransition(State);