[Ada] Spurious error on address clause in task body
authorEd Schonberg <schonberg@adacore.com>
Fri, 31 Jan 2020 17:28:21 +0000 (12:28 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 5 Jun 2020 12:17:43 +0000 (08:17 -0400)
commit2107ca0242fdbe6f21c9c33c0fd1b812ae944404
treec490b3dbe5e3f26026e717fbbd1685f266a1eb84
parenta8aecf319aaa77429584ac8c18f556c2577616b9
[Ada] Spurious error on address clause in task body

2020-06-05  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

* sem_ch9.adb, (Analyze_Task_Body): After analying the task
body, indicate that all local variables have no delayed aspects.
This prevents improper later calls to
Check_Aspect_At_End_Of_Declarations, that would happen when the
constructed task_procedure body (generated during expansion) is
analyzed. The legality of aspect specifications that may appear
on local declarations has already been established, and it is in
general not possible to recheck them properly during expansion,
when visibility may not be fully established.
gcc/ada/sem_ch9.adb