Merge pull request #3297 from JohnDumbell/jd/bugfix/types_bypassing_static_inits

Fix static initializers not being called on specific types

Author: smowton

jbmc/regression/jbmc/NondetEnumOpaqueReturn/indirect/IndirectVirtualCall.class

@@ -0,0 +1,9 @@
+package indirect;
+
+public class IndirectVirtualCall {
+
+    public void main() throws ClassNotFoundException, IllegalAccessException, InstantiationException {
+        PrimaryInterface primary = (PrimaryInterface)Class.forName("PrimaryInstance").newInstance();
+        boolean activated = primary.getState().isActive();
+    }
+}

jbmc/regression/jbmc/NondetEnumOpaqueReturn/indirect/IndirectVirtualCall.java

@@ -0,0 +1,4 @@
+package indirect;
+
+public class PrimaryInstance extends SecondaryInstance implements PrimaryInterface {
+}

jbmc/regression/jbmc/NondetEnumOpaqueReturn/indirect/PrimaryInstance.class

@@ -0,0 +1,4 @@
+package indirect;
+
+public interface PrimaryInterface extends SecondaryInterface {
+}

jbmc/regression/jbmc/NondetEnumOpaqueReturn/indirect/PrimaryInstance.java

@@ -0,0 +1,4 @@
+package indirect;
+
+public abstract class SecondaryInstance extends ThirdInstance implements SecondaryInterface {
+}

jbmc/regression/jbmc/NondetEnumOpaqueReturn/indirect/PrimaryInterface.class

@@ -0,0 +1,4 @@
+package indirect;
+
+public interface SecondaryInterface extends ThirdInterface {
+}