r260594 - in /trunk/gcc/ada: ChangeLog checks.a...

[pmderodat@gcc.gnu.org]

Author: pmderodat
Date: Wed May 23 10:23:39 2018
New Revision: 260594

URL: https://gcc.gnu.org/viewcvs?rev=260594&root=gcc&view=rev
Log:
[Ada] Fix various defects found by static analysis

2018-05-23  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

	* checks.adb (Minimize_Eliminate_Overflows): Default initialize Lo and
	Hi.
	* sem_elab.adb: Make "out" parameters instead of "in out" when
	relevant.

Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/checks.adb
    trunk/gcc/ada/sem_elab.adb