aboutsummaryrefslogtreecommitdiff
path: root/libjava/classpath/java/security/CodeSource.java
diff options
context:
space:
mode:
authorArnaud Charlet <charlet@gcc.gnu.org>2014-11-07 14:47:31 +0100
committerArnaud Charlet <charlet@gcc.gnu.org>2014-11-07 14:47:31 +0100
commita98480ddbbe03479ae6606ed674de2999e24c022 (patch)
tree64a829e3ff948170473eeee464b5cd264f7144fd /libjava/classpath/java/security/CodeSource.java
parente8de1a820f28cfdd7b8a588dd28277cc8db25ce3 (diff)
downloadgcc-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