r235729 - in /trunk/gcc/ada: ChangeLog eval_fat...

[charlet@gcc.gnu.org]

Author: charlet
Date: Mon May  2 09:53:16 2016
New Revision: 235729

URL: https://gcc.gnu.org/viewcvs?rev=235729&root=gcc&view=rev
Log:
2016-05-02  Arnaud Charlet  <charlet@adacore.com>

	* get_spark_xrefs.adb (Get_Nat, Get_Name): Initialize variables when
	they are declared; refine type of a counter from Integer to Natural.
	* sem_ch5.adb, gnatcmd.adb, s-intman-posix.adb, eval_fat.adb,
	prj.adb, sem_util.adb, s-intman-android.adb, prj-nmsc.adb, sem_ch8.adb,
	exp_ch3.adb: Minor editing.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/eval_fat.adb
    trunk/gcc/ada/exp_ch3.adb
    trunk/gcc/ada/get_spark_xrefs.adb
    trunk/gcc/ada/gnatcmd.adb
    trunk/gcc/ada/prj-nmsc.adb
    trunk/gcc/ada/prj.adb
    trunk/gcc/ada/s-intman-android.adb
    trunk/gcc/ada/s-intman-posix.adb
    trunk/gcc/ada/sem_ch5.adb
    trunk/gcc/ada/sem_ch8.adb
    trunk/gcc/ada/sem_util.adb