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

[Ada] Fix implementation of utility for finding enclosing declaration

Browse Source 
This utility is used in GNATprove to find when a node is inside a named
number declaration, and this case was not properly handled. Now fixed.
There is no impact on compilation.

2018-05-23  Yannick Moy  <moy@adacore.com>

gcc/ada/

	* sem_util.adb (Enclosing_Declaration): Fix the case of a named number
	declaration, which was not taken into account.

From-SVN: r260586
This commit is contained in:
Yannick Moy 2018-05-23 10:22:57 +00:00 committed by Pierre-Marie de Rodat
parent 0c9849e18b
commit fd82aeff6d
2 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ada/ChangeLog
View File

@ -1,3 +1,8 @@
2018-05-23 Yannick Moy <moy@adacore.com>
* sem_util.adb (Enclosing_Declaration): Fix the case of a named number
declaration, which was not taken into account.
2018-05-23 Hristian Kirtchev <kirtchev@adacore.com>
* debug.adb: Switch -gnatd_s is now used to stop elaboration checks on

4
gcc/ada/sem_util.adb
View File

@ -6635,7 +6635,9 @@ package body Sem_Util is
while Present (Decl)
and then not (Nkind (Decl) in N_Declaration
or else
Nkind (Decl) in N_Later_Decl_Item)
Nkind (Decl) in N_Later_Decl_Item
or else
Nkind (Decl) = N_Number_Declaration)
loop
Decl := Parent (Decl);
end loop;