| commit | 970ee828e75fb3f67a7dc8dd8108e9a2f23b997b | |
| author | Bob Duff <duff@adacore.com> | |
| Wed, 31 May 2023 13:21:44 +0000 (31 09:21 -0400) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Tue, 20 Jun 2023 07:30:49 +0000 (20 09:30 +0200) | ||
| tree | 49c41c9c63d70e44f34977535135942f56ed6a72 | treesnapshot (tar.gz zip) |
| parent | d39664b659f2442a456be865ee6adcfe1a4a5aed | commitdiff |
ada: Fix bug in predicate checks with address clauses
This patch fixes a compiler bug triggered by having a type with some
defaulted components, and a predicate, and an object of that type with
an address clause. In this case, the compiler was crashing.
gcc/ada/
* sem_ch3.adb (Analyze_Object_Declaration): Remove predicate-check
generation if there is an address clause. These are unnecessary,
and cause gigi to crash.
* exp_util.ads (Following_Address_Clause): Remove obsolete "???"
comments. The suggested changes were done long ago.
This patch fixes a compiler bug triggered by having a type with some
defaulted components, and a predicate, and an object of that type with
an address clause. In this case, the compiler was crashing.
gcc/ada/
* sem_ch3.adb (Analyze_Object_Declaration): Remove predicate-check
generation if there is an address clause. These are unnecessary,
and cause gigi to crash.
* exp_util.ads (Following_Address_Clause): Remove obsolete "???"
comments. The suggested changes were done long ago.
| gcc/ada/exp_util.ads | diffblobblamehistory | |
| gcc/ada/sem_ch3.adb | diffblobblamehistory |