r207558 - in /trunk/gcc/ada: ChangeLog sem_attr...

[charlet@gcc.gnu.org]

Author: charlet
Date: Thu Feb  6 14:13:53 2014
New Revision: 207558

URL: http://gcc.gnu.org/viewcvs?rev=207558&root=gcc&view=rev
Log:
2014-02-06  Yannick Moy  <moy@adacore.com>

	* sem_prag.adb (Analyze_Pragma): Analyze pragma
	Debug rewritten node before rewriting it as a null statement in
	GNATprove mode.

2014-02-06  Robert Dewar  <dewar@adacore.com>

	* sem_attr.adb (Min_Max): New procedure.
	(Max_Alignment_For_Allocation_Max_Size_In_Storage_Elements): New
	procedure.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/sem_attr.adb
    trunk/gcc/ada/sem_prag.adb