[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Mon, 29 Oct 2012 11:07:12 +0000 (12:07 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 29 Oct 2012 11:07:12 +0000 (12:07 +0100)
commit5568a7363e15197cb5512d8a3d9945dd7f8ae62c
tree32853b3c26123eabb25a8a3b0fb7e081218f8cc8
parent1b73408a13915033228a5fff61938b7de2a5b29b
[multiple changes]

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.

From-SVN: r192931
gcc/ada/ChangeLog
gcc/ada/debug.adb
gcc/ada/gnat1drv.adb
gcc/ada/gnat_rm.texi
gcc/ada/opt.ads
gcc/ada/s-tarest.ads
gcc/ada/s-tassta.adb
gcc/ada/sem_prag.adb