r244617 - in /trunk/gcc/ada: ChangeLog gnat1drv...

[charlet@gcc.gnu.org]

Author: charlet
Date: Thu Jan 19 11:39:55 2017
New Revision: 244617

URL: https://gcc.gnu.org/viewcvs?rev=244617&root=gcc&view=rev
Log:
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).


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/gnat1drv.adb
    trunk/gcc/ada/lib-xref-spark_specific.adb
    trunk/gcc/ada/lib-xref.ads
    trunk/gcc/ada/sem_util.adb
    trunk/gcc/ada/sem_util.ads