diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-19 12:39:55 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-19 12:39:55 +0100 |
| commit | 42e2600a7aab688b6399d278ee552f3703fb3b3d (patch) | |
| tree | ef3fb10955bcea424140c926f3c34f05f911ddb5 /gcc/tree-ssa.c | |
| parent | d6e1090ae6b767f5ce0f0237a9763bed24545dd1 (diff) | |
| download | gcc-42e2600a7aab688b6399d278ee552f3703fb3b3d.zip gcc-42e2600a7aab688b6399d278ee552f3703fb3b3d.tar.gz gcc-42e2600a7aab688b6399d278ee552f3703fb3b3d.tar.bz2 | |
[multiple changes]
2017-01-19 Steve Baird <baird@adacore.com>
* sem_util.ads: Add new Use_Full_View Boolean parameter to
Get_Index_Bounds.
* sem_util.adb (Get_Index_Bounds): replace calls to Scalar_Range with
calls to a newly-defined Scalar_Range_Of_Right_View function.
2017-01-19 Arnaud Charlet <charlet@adacore.com>
* gnat1drv.adb: minor fix of unbalanced parens in comment
* lib-xref.ads (Traverse_Compilation_Unit): declaration moved
to visible part of the package to allow re-use in GNATprove.
* lib-xref-spark_specific.adb (Traverse_Stub): routine refactored
from repeated code of Traverse_Compilation_Unit.
(Traverse_Declaration_Or_Statement): fixed detection of
generic subprograms and packages; also, iteration over case
statement alternatives rewritten to avoid testing if the first
alternative is present (since it must be present due to Ada
syntax restrictions).
From-SVN: r244617
Diffstat (limited to 'gcc/tree-ssa.c')
0 files changed, 0 insertions, 0 deletions