reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
532 if (State->get<InvariantViolated>()) 561 NullConstraint Nullness = getNullConstraint(*RetSVal, State); 581 ExplodedNode *N = C.generateErrorNode(State, &Tag); 599 State = State->set<InvariantViolated>(true); 599 State = State->set<InvariantViolated>(true); 600 C.addTransition(State); 609 State->get<NullabilityMap>(Region); 617 ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag); 631 State = State->set<NullabilityMap>(Region, 631 State = State->set<NullabilityMap>(Region, 634 C.addTransition(State);