r192931 - in /trunk/gcc/ada: ChangeLog debug.ad...

[charlet@gcc.gnu.org]

Author: charlet
Date: Mon Oct 29 11:07:12 2012
New Revision: 192931

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=192931
Log:
2012-10-29  Yannick Moy  <moy@adacore.com>

	* debug.adb Associate debug switch -gnatd.V to extensions for
	formal verification.
	* gnat1drv.adb (Adjust_Global_Switches): Set flag S14_Extensions
	when -gnatd.V is set.
	* gnat_rm.texi: Remove doc for Assert_And_Cut.
	* opt.ads Declare new flag S14_Extensions, to be set when new
	aspects/pragmas/attributes for formal verification should be
	accepted.
	* sem_prag.adb (Analyze_Pragma): Check that S14_Extensions is
	set when treating pragma Assert_And_Cut.

2012-10-29  Tristan Gingold  <gingold@adacore.com>

	* s-tarest.ads, s-tassta.adb: Add a pragma Partition_Elaboration_Policy.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/debug.adb
    trunk/gcc/ada/gnat1drv.adb
    trunk/gcc/ada/gnat_rm.texi
    trunk/gcc/ada/opt.ads
    trunk/gcc/ada/s-tarest.ads
    trunk/gcc/ada/s-tassta.adb
    trunk/gcc/ada/sem_prag.adb