ada: Flag unsupported dispatching constructor calls
authorJavier Miranda <miranda@adacore.com>
Fri, 7 Oct 2022 18:43:46 +0000 (18:43 +0000)
committerMarc Poulhiès <poulhies@adacore.com>
Fri, 4 Nov 2022 13:47:29 +0000 (14:47 +0100)
commitfe960a3a19e47d7c2297a19758c914329c8c954e
tree332e99825bae7a3efb6f33d8f249f4456865272b
parent5f780a2d02d0b7c92a75ce1f749ffcc15b90fa32
ada: Flag unsupported dispatching constructor calls

gcc/ada/

* exp_intr.adb
(Expand_Dispatching_Constructor_Call): Report an error on
unsupported dispatching constructor calls and report a warning on
calls that may fail at run time.

gcc/testsuite/

* gnat.dg/abstract1.ads: Cleanup whitespaces.
* gnat.dg/abstract1.adb: Likewise and add -gnatws to silence new
warning.
gcc/ada/exp_intr.adb
gcc/testsuite/gnat.dg/abstract1.adb
gcc/testsuite/gnat.dg/abstract1.ads