Regression tests for unstable instanceof and virtual method disjuncts

Author: peterschrammel

regression/goto-diff/java-instanceof/new.jar

@@ -0,0 +1,16 @@
+class A {
+}
+
+class B extends A {
+}
+
+public class Test {
+
+  public boolean foo(A x) {
+    if (x instanceof A) {
+      return true;
+    } else {
+      return false;
+    }
+  }
+}

regression/goto-diff/java-instanceof/new/Test.java

@@ -0,0 +1,22 @@
+/* 
+old.jar needs to be created by first adding B.class and Test.class and then
+updated to add A.class. This makes the class loader load the classes A and B
+in reverse order.
+*/
+
+class A {
+}
+
+class B extends A {
+}
+
+public class Test {
+
+  public boolean foo(A x) {
+    if (x instanceof A) {
+      return true;
+    } else {
+      return false;
+    }
+  }
+}

regression/goto-diff/java-instanceof/old.jar

@@ -0,0 +1,10 @@
+CORE
+new.jar
+old.jar
+// Enable multi-line checking
+activate-multi-line-match
+EXIT=0
+SIGNAL=0
+new functions:\nmodified functions:\ndeleted functions:
+--
+^warning: ignoring

regression/goto-diff/java-instanceof/old/Test.java

@@ -0,0 +1,18 @@
+class A {
+  boolean bar() {
+    return true;
+  }
+}
+
+class B extends A {
+  boolean bar() {
+    return false;
+  }
+}
+
+public class Test {
+
+  public boolean foo(A x) {
+    return x.bar();
+  }
+}

regression/goto-diff/java-instanceof/test.desc

@@ -0,0 +1,24 @@
+/* 
+old.jar needs to be created by first adding B.class and Test.class and then
+updated to add A.class. This makes the class loader load the classes A and B
+in reverse order.
+*/
+
+class A {
+  boolean bar() {
+    return true;
+  }
+}
+
+class B extends A {
+  boolean bar() {
+    return false;
+  }
+}
+
+public class Test {
+
+  public boolean foo(A x) {
+    return x.bar();
+  }
+}

regression/goto-diff/java-virtual-methods/new.jar

@@ -0,0 +1,10 @@
+CORE
+new.jar
+old.jar
+// Enable multi-line checking
+activate-multi-line-match
+EXIT=0
+SIGNAL=0
+new functions:\nmodified functions:\ndeleted functions:
+--
+^warning: ignoring