[Ada] Issue errors on wrong context for ghost entities
authorYannick Moy <moy@adacore.com>
Mon, 2 May 2022 15:38:41 +0000 (17:38 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 2 Jun 2022 09:06:39 +0000 (09:06 +0000)
commit5987f43412766ef5fc7cd56b4a2cb6a44a3940ba
tree6bd9706970f08e0b62630e7717a36cbb5fce6d20
parentd276374355196abe35e162795da94c112ee13b80
[Ada] Issue errors on wrong context for ghost entities

References to ghost entities should only occur in ghost context.  This
was not checked systematically on all references.

gcc/ada/

* sem_ch2.adb (Analyze_Identifier): Add checking for ghost
context.
* sem_ch5.adb (Analyze_Implicit_Label_Declaration): Treat
implicit labels like other entities by setting their ghost
status according to context.
* ghost.adb (Check_Ghost_Context): Adapt checking.
gcc/ada/ghost.adb
gcc/ada/sem_ch2.adb
gcc/ada/sem_ch5.adb