* libjava.compile/pr8712.java: New file, for PR java/8712.

From-SVN: r60856

diff --git a/libjava/testsuite/ChangeLog b/libjava/testsuite/ChangeLog
index 90e98a922e647ff555e833031ebd6f05e0081ec9..e5d367e32f4899035b41278a212cb35ef81902fc 100644 (file)
--- a/libjava/testsuite/ChangeLog
+++ b/libjava/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2003-01-03  Tom Tromey  <tromey@redhat.com>
+
+       * libjava.compile/pr8712.java: New file, for PR java/8712.
+
 2003-01-01  Tom Tromey  <tromey@redhat.com>
 
        * libjava.compile/pr8955.java: New test, for PR java/8955.

diff --git a/libjava/testsuite/libjava.compile/pr8712.java b/libjava/testsuite/libjava.compile/pr8712.java
new file mode 100644 (file)
index 0000000..7a6eb75
--- /dev/null
+++ b/libjava/testsuite/libjava.compile/pr8712.java
@@ -0,0 +1,7 @@
+public class pr8712
+{
+  boolean x(pr8712 a)
+  {
+    return (!(a instanceof pr8712));
+  }
+}