reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
646 if (State->get<InvariantViolated>()) 649 ProgramStateRef OrigState = State; 668 NullConstraint Nullness = getNullConstraint(*ArgSVal, State); 681 ExplodedNode *N = C.generateErrorNode(State); 701 State->get<NullabilityMap>(Region); 711 ExplodedNode *N = C.addTransition(State); 723 ExplodedNode *N = C.addTransition(State); 734 State = State->set<NullabilityMap>( 734 State = State->set<NullabilityMap>( 737 if (State != OrigState) 738 C.addTransition(State);