Added regression test capturing an exception handler that does not start with astore

Author: cristina-david

regression/cbmc-java/exceptions19/exception_handler.class

@@ -0,0 +1,25 @@
+.class exception_handler
+.super java/lang/Object
+
+.method public <init>()V
+        aload_0
+        invokevirtual java/lang/Object/<init>()V
+        return
+.end method
+
+.method public f()V
+        .limit stack 4
+        .limit locals 4
+
+      begin:
+        new java/lang/Exception
+        dup
+        invokespecial java/lang/Exception.<init>()V
+        athrow
+      start:
+        nop
+      end:
+        astore_1
+        return
+.catch all from begin to end using start
+.end method

regression/cbmc-java/exceptions19/exception_handler.j

@@ -0,0 +1,8 @@
+CORE
+exception_handler.class
+--function exception_handler.f
+^EXIT=0$
+^SIGNAL=0$
+^VERIFICATION SUCCESSFUL$
+--
+^warning: ignoring