r206818 - in /trunk/gcc/ada: ChangeLog a-exexpr...

[charlet@gcc.gnu.org]

Author: charlet
Date: Mon Jan 20 15:15:34 2014
New Revision: 206818

URL: http://gcc.gnu.org/viewcvs?rev=206818&root=gcc&view=rev
Log:
2014-01-20  Robert Dewar  <dewar@adacore.com>

	* sem_attr.adb (Analyze_Attribute, case Loop_Entry): Allow
	Loop_Entry in Assert, Assert_And_Cut, and Assume pragmas.
	* sem_prag.adb (Analyze_Pragma, case Assert[_And_Cut], Assume):
	Allow Loop_Entry to be used in these pragmas if they appear in
	an appropriate context.
	(Placement_Error): Specialize error
	message for pragma Assert[_And_Cut] or pragma Assume containing
	Loop_Entry attribute.
	* a-exexpr-gcc.adb, sinput.adb: Minor reformatting.
	* s-excmac-arm.ads, s-except.ads, s-excmac-gcc.ads: Minor reformatting
	and code clean ups.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/a-exexpr-gcc.adb
    trunk/gcc/ada/s-except.ads
    trunk/gcc/ada/s-excmac-arm.ads
    trunk/gcc/ada/s-excmac-gcc.ads
    trunk/gcc/ada/sem_attr.adb
    trunk/gcc/ada/sem_prag.adb
    trunk/gcc/ada/sinput.adb