]> gcc.gnu.org Git - gcc.git/commit
ada: Improve check of attribute reference
authorRonan Desplanques <desplanques@adacore.com>
Mon, 9 Jan 2023 10:14:05 +0000 (11:14 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 15 May 2023 09:36:41 +0000 (11:36 +0200)
commit83a0b4e7e345d05ad758d44d2a7121e1cc484f76
treec7bc3a0b6fa7dac14811f88c9bb534cb69651556
parentf571a20192dceab5abce9303af4459f1917202f5
ada: Improve check of attribute reference

Before this patch, the front end failed to catch many illegal uses
of access attributes of task types.

This patch makes referring to the access attributes of a task type
raise an error, except in the current instance case defined in
clause 8.6 of the reference manual.

gcc/ada/

* sem_attr.adb: sem_attr.adb (Analyze_Access_Attribute): Tighten
validity check for task types.
gcc/ada/sem_attr.adb
This page took 0.06364 seconds and 5 git commands to generate.