Do what most other code does (I think ada/* does not):
Only set this pragma with GCC >= 10. This silences here 228 warnings of the kind: analyzer.h:305:32: warning: unknown option after '#pragma GCC diagnostic' kind [-Wpragmas] Tobias ----------------- Mentor Graphics (Deutschland) GmbH, Arnulfstraße 201, 80634 München / Germany Registergericht München HRB 106955, Geschäftsführer: Thomas Heurung, Alexander Walter
