diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-02-06 09:58:37 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-02-06 09:58:37 +0000 |
| commit | 19fbd0401f474c81d2898f8a2dc2712d54abdc23 (patch) | |
| tree | 7a23f0eca034c65b3cd8a21c3e824a881db3440c /libjava/classpath/java/security/Signature.java | |
| parent | 7de5b8f46f77b327511493ac5108a1c12f47a1ea (diff) | |
| download | ppe42-gcc-19fbd0401f474c81d2898f8a2dc2712d54abdc23.tar.gz ppe42-gcc-19fbd0401f474c81d2898f8a2dc2712d54abdc23.zip | |
2014-02-06 Ed Schonberg <schonberg@adacore.com>
* exp_ch6.adb (Expand_Subprogram_Contract, Append_Enabled_Item):
Take into account the Split_PPC flag to ensure that conjuncts
in a composite postcondition aspect are tested in source order.
2014-02-06 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch6.adb (Analyze_Generic_Subprogram_Body): Flag illegal
use of SPARK_Mode.
* sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): Flag
illegal use of SPARK_Mode.
(Instantiate_Subprogram_Body): Flag illegal use of SPARK_Mode.
* sem_prag.adb (Analyze_Pragma): Code reformatting.
* sem_util.adb Add with and use clause for Aspects.
(Check_SPARK_Mode_In_Generic): New routine.
* sem_util.ads (Check_SPARK_Mode_In_Generic): New routine.
2014-02-06 Thomas Quinot <quinot@adacore.com>
* a-calend.adb (Formatting_Operations.Split): Ensure that
Time_Error is raised for invalid time values.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@207536 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libjava/classpath/java/security/Signature.java')
0 files changed, 0 insertions, 0 deletions
