projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0c9849e) | patch
[Ada] Fix implementation of utility for finding enclosing declaration
authorYannick Moy <moy@adacore.com>
Wed, 23 May 2018 10:22:57 +0000 (10:22 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Wed, 23 May 2018 10:22:57 +0000 (10:22 +0000)
commitfd82aeff6d4338a3b9f280e423ec5236ae0fc510
tree7df551a20e22c903fcc6661d862c10f0ff0b822btree | snapshot
parent0c9849e18b134711873df3bccd93d6b6faa93c6fcommit | diff
[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
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_util.adb diff | blob | history
Domain: System / Toolchain;