Add testcase for local variable table fixes

Author: smowton

regression/cbmc-java/LocalVarTable2/LocalVarTable2.class

@@ -0,0 +1,19 @@
+// Must compile this with -g (produces LocalVarTable) to exhibit bug.
+
+public class LocalVarTable2 {
+
+  public static Object f() {
+    for(int i = 0; i < 10; ++i) { System.out.printf("Count %d\n", i); }
+    try {
+      return new Object();
+    }
+    finally {
+      System.out.println("Finally executed\n");
+    }
+  }
+
+  public static void main(String[] args) {
+    f();
+  }
+
+}

regression/cbmc-java/LocalVarTable2/LocalVarTable2.java

@@ -0,0 +1,7 @@
+CORE
+LocalVarTable2.class
+--show-goto-functions
+^EXIT=0$
+^SIGNAL=0$
+--
+return_value.*(void \*)i