re PR java/3731 (gcj should generate class init code for instanceof)

* libjava.lang/PR3731.java: New file.
* libjava.lang/PR3731.out: New file.
* libjava.lang/PR3731.xfail: New file.

From-SVN: r44151

libjava/testsuite/ChangeLog

+2001-07-19  Jeff Sturm  <jsturm@one-point.com>
+
+	* libjava.lang/PR3731.java: New file.
+	* libjava.lang/PR3731.out: New file.
+	* libjava.lang/PR3731.xfail: New file.
+
 2001-07-12  Alexandre Petit-Bianco  <apbianco@redhat.com>
 
 	* libjava.compile/anon_ctor_itf_arg.java: Moved to `libjava.lang.'

libjava/testsuite/libjava.lang/PR3731.java

+// Check whether "instanceof" initializes its class argument.
+
+public class PR3731 {
+  static B b;
+  public static void main(String[] args) {
+    System.out.println(b instanceof B);
+  }
+}
+
+class B {
+  static {
+    System.out.println("Initialized");
+  }
+}

libjava/testsuite/libjava.lang/PR3731.out

+Initialized
+false

libjava/testsuite/libjava.lang/PR3731.xfail

+xfail-output