r202457 - in /trunk/gcc/ada: ChangeLog exp_prag...

[charlet@gcc.gnu.org]

Author: charlet
Date: Tue Sep 10 14:56:41 2013
New Revision: 202457

URL: http://gcc.gnu.org/viewcvs?rev=202457&root=gcc&view=rev
Log:
2013-09-10  Robert Dewar  <dewar@adacore.com>

	* exp_prag.adb (Expand_Pragma_Check): Ignore pragma if Is_Ignored set.
	* sem_ch13.adb (Make_Aitem_Pragma): Set Is_Checked if needed.
	* sem_prag.adb (Check_Kind): Moved from spec (Analyze_Pragma):
	Make sure Is_Ignored/Is_Checked are set right (Analyze_Pragma,
	case Check): Ditto (Check_Applicable_Policy): Handle
	Statement_Assertion case Throughout, set and check the Is_Checked
	flag as appropriate.
	* sem_prag.ads (Check_Kind): Moved to body.
	* sinfo.ads, sinfo.adb (Is_Checked): New flag.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/exp_prag.adb
    trunk/gcc/ada/sem_ch13.adb
    trunk/gcc/ada/sem_prag.adb
    trunk/gcc/ada/sem_prag.ads
    trunk/gcc/ada/sinfo.adb
    trunk/gcc/ada/sinfo.ads