r260586 - in /trunk/gcc/ada: ChangeLog sem_util...

[pmderodat@gcc.gnu.org]

Author: pmderodat
Date: Wed May 23 10:22:57 2018
New Revision: 260586

URL: https://gcc.gnu.org/viewcvs?rev=260586&root=gcc&view=rev
Log:
[Ada] Fix implementation of utility for finding enclosing declaration

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.

Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/sem_util.adb