Merge pull request #1598 from peterschrammel/simplify-string-const-equalities

Simplify equalities of constants

Author: peterschrammel

regression/cbmc-java/virtual8/A.class

@@ -0,0 +1,29 @@
+public class Test {
+  public static void runF(A x) {
+    x.f();
+  }
+
+  public static void main() {
+    A y = new D();
+    runF(y);
+  }
+}
+
+class A {
+  void f() { }
+}
+
+
+class B extends A {
+  void f() { }
+}
+
+class C extends A {
+  void f() { }
+}
+
+class D extends C {
+}
+
+class E extends B {
+}

regression/cbmc-java/virtual8/B.class

@@ -0,0 +1,11 @@
+CORE
+Test.class
+--program-only
+^EXIT=0$
+^SIGNAL=0$
+C\.f
+--
+A\.f
+B\.f
+D\.f
+E\.f