reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
826 if (State->get<InvariantViolated>()) 848 State = 849 State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted); 850 C.addTransition(State); 858 State = 859 State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted); 860 C.addTransition(State); 871 State = State->set<NullabilityMap>(ReturnRegion, 871 State = State->set<NullabilityMap>(ReturnRegion, 873 C.addTransition(State); 881 Nullability SelfNullability = getReceiverNullability(M, State); 884 State->get<NullabilityMap>(ReturnRegion); 899 State = State->set<NullabilityMap>( 899 State = State->set<NullabilityMap>( 901 C.addTransition(State); 921 State = State->set<NullabilityMap>( 921 State = State->set<NullabilityMap>( 923 C.addTransition(State);