]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Change "missing overriding indicator" message from error to warning
authorSteve Baird <baird@adacore.com>
Wed, 26 Jun 2024 20:50:48 +0000 (13:50 -0700)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Thu, 1 Aug 2024 15:14:35 +0000 (17:14 +0200)
commitb8c91492d6360cadd222d56afa0d0aa3875b57b5
tree6984556ce73c414ab11d856f73bc436be62bc267
parent0dbf7285acabc4b61e31adce4ef84320df3d929c
ada: Change "missing overriding indicator" message from error to warning

There is no RM rule requiring an overriding indicator in the case where
this message is generated; such a rule was discussed many years ago in an
AI, but that AI was never approved. So generate a warning message instead
of an error message. And don't even do that if we are in an instance (warning
a user they should change the source of an instance seems unlikely to be
helpful, at least in this case).

gcc/ada/

* sem_disp.adb (Check_Dispatching_Operation): When calling
Error_Msg_NE to generate a "missing overriding indicator" message,
generate a warning message instead of an error message (and update
comment to describe this new behavior).
gcc/ada/sem_disp.adb