Allow not terminating finally blocks

Author: antoyo

gcc/jit/jit-playback.cc

@@ -2307,14 +2307,14 @@ add_try_catch (location *loc,
   }
 
   tree try_body = alloc_stmt_list ();
-  int i;
+  unsigned int i;
   tree stmt;
   FOR_EACH_VEC_ELT (try_block->m_stmts, i, stmt) {
     append_to_statement_list (stmt, &try_body);
   }
 
   tree catch_body = alloc_stmt_list ();
-  int j;
+  unsigned int j;
   tree catch_stmt;
   FOR_EACH_VEC_ELT (catch_block->m_stmts, j, catch_stmt) {
     append_to_statement_list (catch_stmt, &catch_body);

gcc/jit/jit-recording.cc

@@ -4645,6 +4645,9 @@ recording::block::add_try_catch (location *loc,
   // TODO: explain why we set the blocks reachable state.
   try_block->m_is_reachable = true;
   catch_block->m_is_reachable = true;
+  /* The finally block can fallthrough, so we don't require the user to terminate it.  */
+  if (is_finally)
+    catch_block->m_has_been_terminated = true;
   m_ctxt->record (result);
   m_statements.safe_push (result);
   return result;