regression test - provokes VerifyError in 1.1.1 but not in cvs head

diff --git a/tests/ajcTests.xml b/tests/ajcTests.xml
index df4451ee2ce53c2511c2b9e808e4c8676c75854a..1897a556b6535c47f8fbb847a9c75a57298dba5b 100644 (file)
--- a/tests/ajcTests.xml
+++ b/tests/ajcTests.xml
@@ -7268,4 +7268,11 @@
         <compile files="IntertypeDifferentThrows.java" />
     </ajc-test>
     
+       <ajc-test dir="new" 
+               comment="in ajc 1.1.1, VerifyError Illegal use of nonvirtual function call"
+               title="super call in anonymous class created in around advice">
+        <compile files="SuperClosure.java" />
+        <run class="SuperClosure" />
+    </ajc-test>
+
 </suite>

diff --git a/tests/new/SuperClosure.java b/tests/new/SuperClosure.java
new file mode 100644 (file)
index 0000000..5597631
--- /dev/null
+++ b/tests/new/SuperClosure.java
@@ -0,0 +1,21 @@
+
+public class SuperClosure {
+       public static void main(String[] args) {
+       }
+}
+
+aspect A {
+       void around() : execution(void main(String[])) {
+               Runner runner = new Runner() {
+                       public void run() {
+                               // ajc 1.1.1 VerifyError: Illegal use of nonvirtual function call
+                  super.run();
+                       }
+               };
+               runner.run();
+       }
+}
+class Runner implements Runnable {
+       public void run() {
+       }
+}