diff options
| author | Yannick Moy <moy@adacore.com> | 2015-05-26 10:40:39 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-05-26 12:40:39 +0200 |
| commit | ff1bedacc81800f47632971f6474e4e2f9cfb86f (patch) | |
| tree | 9d0ab815b938ed6c388a8cde4df608b031e40d33 /gcc/ada/sprint.adb | |
| parent | a7b3792787e6c527360c4c12a3bd01821ff30e0d (diff) | |
| download | gcc-ff1bedacc81800f47632971f6474e4e2f9cfb86f.zip gcc-ff1bedacc81800f47632971f6474e4e2f9cfb86f.tar.gz gcc-ff1bedacc81800f47632971f6474e4e2f9cfb86f.tar.bz2 | |
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
Diffstat (limited to 'gcc/ada/sprint.adb')
0 files changed, 0 insertions, 0 deletions