]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Correction to disable self-referential with_clauses
authorBob Duff <duff@adacore.com>
Wed, 9 Oct 2024 11:25:14 +0000 (07:25 -0400)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Mon, 4 Nov 2024 15:57:55 +0000 (16:57 +0100)
commite2f073947a324bbfee866d9282bb778ddead95f4
tree3761ed6bc89a6c1890ad1dbd06de34e298ab01c8
parent74cdc0d576479756c7faa88f74b041cd9ff51636
ada: Correction to disable self-referential with_clauses

Follow-on to previous change "Disable self-referential with_clauses",
which caused some regressions. Remove useless use clauses referring
to useless self-referential with'ed packages. This is necessary
because in some cases, such use clauses cause the compiler to
crash or give spurious errors.

In addition, enable the warning on self-referential with_clauses.

gcc/ada/ChangeLog:

* sem_ch10.adb (Analyze_With_Clause): In the case of a
self-referential with clause, if there is a subsequent use clause
for the same package (which is necessarily useless), remove it from
the context clause. Reenable the warning.
gcc/ada/sem_ch10.adb