]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Compiler accepts an illegal Unchecked_Access attribute reference
authorSteve Baird <baird@adacore.com>
Thu, 13 Jun 2024 22:18:31 +0000 (15:18 -0700)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Tue, 2 Jul 2024 13:20:35 +0000 (15:20 +0200)
commit5621e907ffbfc5953568d90c14c0f57d871e8f59
treebac27899ae588f813b8093b3d06513f7643c2cd4
parent404f1f7ddda79ce7a1fe1c4010f88e49ed50596e
ada: Compiler accepts an illegal Unchecked_Access attribute reference

The compiler incorrectly accepts Some_Object'Unchecked_Access'Image.

gcc/ada/

* sem_attr.adb
(Analyze_Image_Attribute.Check_Image_Type): Check for
E_Access_Attribute_Type prefix type.
gcc/ada/sem_attr.adb