Merge branch 'danpoe-nondet-init-bug'

Author: Daniel Kroening

regression/cbmc-java/function4/Main.class

@@ -0,0 +1,24 @@
+
+class Other
+{
+  public void fail()
+  {
+    assert i == 0;
+  }
+
+  private int i;
+}
+
+class Other2 extends Other
+{
+  private int j;
+}
+
+public class Main
+{
+  public static void main(String[] args)
+  {
+    Other o = new Other();
+  }
+}
+

regression/cbmc-java/function4/Main.java

@@ -0,0 +1,8 @@
+CORE
+Main.class
+--function "Other.fail:()V" --show-goto-functions
+^SIGNAL=0$
+MALLOC.*Other
+struct_init.*Other.fail
+--
+^warning: ignoring