OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[Ada] Fix the check of the 'Old prefix

Browse Source 
gcc/ada/

	* sem_attr.adb (Check_Reference): Fix condition.
This commit is contained in:
Etienne Servais 2021-12-16 14:17:40 +01:00 committed by Pierre-Marie de Rodat
parent 657fc14ca7
commit 9b573d421a
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ada/sem_attr.adb
View File

@ -5151,11 +5151,14 @@ package body Sem_Attr is
-- Entities mentioned within the prefix of attribute 'Old must
-- be global to the related postcondition. If this is not the
-- case, then the scope of the local entity is nested within
-- that of the subprogram.
-- that of the subprogram. Moreover, we need to know whether
-- Entity (Nod) occurs in the tree rooted at the prefix to
-- ensure the entity is not declared within then prefix itself.
elsif Is_Entity_Name (Nod)
and then Present (Entity (Nod))
and then Scope_Within (Scope (Entity (Nod)), Subp_Id)
and then not In_Subtree (Entity (Nod), P)
then
Error_Attr
("prefix of attribute % cannot reference local entities",