reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1065 if (State->get<InvariantViolated>()) 1072 NullConstraint RhsNullness = getNullConstraint(*ValDefOrUnknown, State); 1097 ExplodedNode *N = C.generateErrorNode(State, &Tag); 1119 State = State->set<InvariantViolated>(true); 1119 State = State->set<InvariantViolated>(true); 1120 C.addTransition(State); 1132 State->get<NullabilityMap>(ValueRegion); 1141 ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag); 1156 State = State->set<NullabilityMap>( 1156 State = State->set<NullabilityMap>( 1158 C.addTransition(State); 1164 State = State->set<NullabilityMap>( 1164 State = State->set<NullabilityMap>( 1166 C.addTransition(State);