r219227 - in /trunk/gcc/ada: ChangeLog a-reatim...

[charlet@gcc.gnu.org]

Author: charlet
Date: Tue Jan  6 09:07:29 2015
New Revision: 219227

URL: https://gcc.gnu.org/viewcvs?rev=219227&root=gcc&view=rev
Log:
2015-01-06  Arnaud Charlet  <charlet@adacore.com>

	* a-reatim.adb ("/"): Add explicit pragma Unsuppress (Division_Check).

2015-01-06  Robert Dewar  <dewar@adacore.com>

	* sem_prag.adb (Process_Suppress_Unsuppress): Add extra warning
	for ignoring pragma Suppress (Elaboration_Check) in SPARK mode.

2015-01-06  Javier Miranda  <miranda@adacore.com>

	* exp_disp.adb (Expand_Interface_Conversion): No displacement
	of the pointer to the object needed when the type of the operand
	is not an interface type and the interface is one of its parent
	types (since they share the primary dispatch table).


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/a-reatim.adb
    trunk/gcc/ada/exp_disp.adb
    trunk/gcc/ada/sem_prag.adb