fix for Bugzilla Bug 72157

 	declare soft can cause programs with invalid exception behaviour to be generated

1 files changed, 35 insertions, 0 deletions

diff --git a/tests/bugs/PR72157.java b/tests/bugs/PR72157.java
new file mode 100644
index 000000000..39120f5f4
--- /dev/null
+++ b/tests/bugs/PR72157.java
@@ -0,0 +1,35 @@
+public class PR72157 {
+    public PR72157() throws Exception {
+        throw new Exception();
+    }
+
+    public static void main(String[] args) {
+        new SCE2();
+    }
+}
+
+class SCE2 extends PR72157 {
+    public SCE2() {  
+        super();    // CE L13?
+    }
+    
+}
+
+class Foo {
+    
+    public Foo() throws Exception {
+        throw new Exception();
+    }
+    
+}
+
+class Goo {
+    public Goo() {
+        new Foo();
+    }
+}
+
+aspect SCEAspect {
+    declare soft: Exception: within(SCE2);
+    declare soft: Exception: within(Goo);
+}
\ No newline at end of file