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.

From-SVN: r260594