https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55324
--- Comment #3 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Eric Botcazou <[email protected]>: https://gcc.gnu.org/g:f4367c6b7b7229835fb8786d85a853cb4641b29c commit r16-5017-gf4367c6b7b7229835fb8786d85a853cb4641b29c Author: Eric Botcazou <[email protected]> Date: Tue Nov 4 00:10:55 2025 +0100 Ada: Fix misleading diagnostic about abstract new in type derivation The current error message is: abstract1.ads:7:13: error: "abstract" not allowed here, ignored but "abstract" is indeed allowed there if you complete the declaration. The patch changes it to: abstract1.ads:7:13: error: "abstract" allowed only for record extension, ... gcc/ada/ PR ada/55324 * par-ch3.adb (P_Type_Declaration): Give a better error message for illegal "abstract" in a type derivation. gcc/testsuite/ * gnat.dg/specs/abstract1.ads: New test.
