diff options
| author | Yannick Moy <moy@adacore.com> | 2018-05-23 10:22:57 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-05-23 10:22:57 +0000 |
| commit | fd82aeff6d4338a3b9f280e423ec5236ae0fc510 (patch) | |
| tree | 7df551a20e22c903fcc6661d862c10f0ff0b822b /gcc/ada/gnatbind.adb | |
| parent | 0c9849e18b134711873df3bccd93d6b6faa93c6f (diff) | |
| download | gcc-fd82aeff6d4338a3b9f280e423ec5236ae0fc510.zip gcc-fd82aeff6d4338a3b9f280e423ec5236ae0fc510.tar.gz gcc-fd82aeff6d4338a3b9f280e423ec5236ae0fc510.tar.bz2 | |
[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.
From-SVN: r260586
Diffstat (limited to 'gcc/ada/gnatbind.adb')
0 files changed, 0 insertions, 0 deletions