projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a7b3792) | patch
sem_aux.adb, [...] (Get_Low_Bound): Use Type_Low_Bound.
authorYannick Moy <moy@adacore.com>
Tue, 26 May 2015 10:40:39 +0000 (10:40 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 26 May 2015 10:40:39 +0000 (12:40 +0200)
commitff1bedacc81800f47632971f6474e4e2f9cfb86f
tree9d0ab815b938ed6c388a8cde4df608b031e40d33tree
parenta7b3792787e6c527360c4c12a3bd01821ff30e0dcommit | diff
sem_aux.adb, [...] (Get_Low_Bound): Use Type_Low_Bound.

2015-05-26  Yannick Moy  <moy@adacore.com>

* sem_aux.adb, sem_aux.ads (Get_Low_Bound): Use Type_Low_Bound.
(Package_Body, Package_Spec): New queries moved
here from GNATprove.
(Package_Specification): Simplify query to remove use of loop.
* sem_util.adb, sem_util.ads (Enclosing_Declaration,
Enclosing_Package_Or_Subprogram, Is_Attribute_Update): New
queries moved here from GNATprove.

From-SVN: r223681
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_aux.adb diff | blob | history
gcc/ada/sem_aux.ads diff | blob | history
gcc/ada/sem_util.adb diff | blob | history
gcc/ada/sem_util.ads diff | blob | history