reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
409 const LocationContext *LocCtxt = C.getLocationContext(); 427 C.addTransition(State->set<InvariantViolated>(true), N);