diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-10-29 11:07:12 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-10-29 11:07:12 +0000 |
| commit | fb261027f4a4fab38020063a605ff58cff6822a5 (patch) | |
| tree | 32853b3c26123eabb25a8a3b0fb7e081218f8cc8 /libjava/classpath/java/security/AlgorithmParametersSpi.java | |
| parent | d797669ff816e058a8efb18f4331774ed8942725 (diff) | |
| download | ppe42-gcc-fb261027f4a4fab38020063a605ff58cff6822a5.tar.gz ppe42-gcc-fb261027f4a4fab38020063a605ff58cff6822a5.zip | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192931 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libjava/classpath/java/security/AlgorithmParametersSpi.java')
0 files changed, 0 insertions, 0 deletions
