r213582 - in /trunk/gcc/ada: ChangeLog sem_ch3....

[charlet@gcc.gnu.org]

Author: charlet
Date: Mon Aug  4 12:55:46 2014
New Revision: 213582

URL: https://gcc.gnu.org/viewcvs?rev=213582&root=gcc&view=rev
Log:
2014-08-04  Hristian Kirtchev  <kirtchev@adacore.com>

	* sem_ch3.adb (Analyze_Declarations): Explain why the bodies of
	the default initial condition procedures are build here.
	* sem_util.adb (Build_Default_Init_Cond_Procedure): Wrap the
	analyzed argument of pragma Default_Initial_Condition in some
	dummy code as GNATprove mode disables assertions, but still
	needs to see the argument.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/sem_ch3.adb
    trunk/gcc/ada/sem_util.adb