added test for 30026 , even though its working in the current version

diff --git a/tests/ajcTests.xml b/tests/ajcTests.xml
index ab1a6fe0da2d3aa882691b72978c3e284b1357eb..df307d751d3f8b76546f24cdb8b162d2ab24b793 100644 (file)
--- a/tests/ajcTests.xml
+++ b/tests/ajcTests.xml
@@ -5578,5 +5578,12 @@
         <compile files="AdviceExec.java"/>
         <run class="AdviceExec"/>
     </ajc-test>
+    
+    <ajc-test dir="bugs" pr="30026" 
+               title="problems with finalize call">
+        <compile files="Finalizer.java">
+            <message kind="error" line="22"/>
+        </compile>
+    </ajc-test>
 
 </suite>

diff --git a/tests/bugs/Finalizer.java b/tests/bugs/Finalizer.java
new file mode 100644 (file)
index 0000000..f66643b
--- /dev/null
+++ b/tests/bugs/Finalizer.java
@@ -0,0 +1,26 @@
+// for Bug#:  30026
+import org.aspectj.testing.Tester;
+
+
+public class Finalizer {
+    public static void main(String args[]) {
+        Finalizer np = new Finalizer();
+        np = null;
+    }
+
+    public void finalize() throws Throwable {
+    }
+}
+
+aspect FinalizeContract {
+    pointcut finalizeCall(Object o):
+        this(Object+) &&
+        this(o) &&
+        execution(void finalize());
+
+    void around(Object o) throws Throwable: finalizeCall(o) {
+        o.finalize();               // error
+        //((Finalizer) o).finalize();   // ok
+        proceed(o);
+    }
+}