]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Implicit_Dereference aspect specification for subtype incorrectly accepted
authorSteve Baird <baird@adacore.com>
Tue, 6 Aug 2024 21:44:54 +0000 (14:44 -0700)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Fri, 23 Aug 2024 08:51:05 +0000 (10:51 +0200)
commit7dd9c7d1293ad16708748f617e10263e4ee88a39
treebe5a2217156015c7c44aef8f1f49760a08c96afb
parent24c5396f8cd6e93010612f09fb77845559e30692
ada: Implicit_Dereference aspect specification for subtype incorrectly accepted

Implicit_Dereference is a type-specific aspect and therefore cannot be
legally specified as part of a subtype declaration.

gcc/ada/

* sem_ch13.adb (Analyze_Aspect_Implicit_Dereference): Generate
error if an aspect specification specifies the
Implicit_Dereference aspect of a non-first subtype.
gcc/ada/sem_ch13.adb