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

1 files changed, 14 insertions, 0 deletions

diff --git a/libjava/testsuite/libjava.lang/PR3731.java b/libjava/testsuite/libjava.lang/PR3731.java
new file mode 100644
index 0000000..8e974cc
--- /dev/null
+++ b/libjava/testsuite/libjava.lang/PR3731.java
@@ -0,0 +1,14 @@
+// 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");
+  }
+}