fix for Bugzilla Bug 72157

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

2 files changed, 36 insertions, 1 deletions

diff --git a/tests/bugs/ConvertToUnchecked.java b/tests/bugs/ConvertToUnchecked.java
index eb71e9f7b..966bc69d3 100644
--- a/tests/bugs/ConvertToUnchecked.java
+++ b/tests/bugs/ConvertToUnchecked.java
@@ -35,7 +35,7 @@ class PersistenceException extends RuntimeException
 
 
 class Root {
-	Root(String s) throws IOException {
+	Root(String s) /*throws IOException*/ {
 	}
 }
 
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