diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-11-07 14:47:31 +0100 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-11-07 14:47:31 +0100 |
commit | a98480ddbbe03479ae6606ed674de2999e24c022 (patch) | |
tree | 64a829e3ff948170473eeee464b5cd264f7144fd /libjava/classpath/java/security/CodeSource.java | |
parent | e8de1a820f28cfdd7b8a588dd28277cc8db25ce3 (diff) | |
download | gcc-a98480ddbbe03479ae6606ed674de2999e24c022.zip gcc-a98480ddbbe03479ae6606ed674de2999e24c022.tar.gz gcc-a98480ddbbe03479ae6606ed674de2999e24c022.tar.bz2 |
[multiple changes]
2014-11-07 Hristian Kirtchev <kirtchev@adacore.com>
* freeze.adb (Freeze_Entity): Issue an error regardless of the
SPARK_Mode when a ghost type is effectively volatile.
* sem_ch3.adb (Analyze_Object_Contract): Decouple the checks
related to Ghost from SPARK_Mode.
* sem_res.adb (Check_Ghost_Policy): Issue an error regardless
of the SPARK_Mode when the Ghost policies do not match.
* sem_util.adb (Check_Ghost_Completion): Issue an error regardless
of the SPARK_Mode when the Ghost policies do not match.
2014-11-07 Ed Schonberg <schonberg@adacore.com>
* sem_ch5.adb (Analyze_Iterator_Specification): return if name
in iterator does not have any usable aspect for iteration.
2014-11-07 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Analyze_Null_Procedure): Reject a null procedure
that there is a previous null procedure in scope with a matching
profile.
2014-11-07 Hristian Kirtchev <kirtchev@adacore.com>
* atree.adb (Copy_Separate_Tree): Copy the aspect specifications.
* inline.adb (Has_Some_Contract): Do the check only when the
related entity has been analyzed.
From-SVN: r217224
Diffstat (limited to 'libjava/classpath/java/security/CodeSource.java')
0 files changed, 0 insertions, 0 deletions