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;

gcc/tree-eh.cc

@@ -4883,9 +4883,9 @@ pass_cleanup_eh::execute (function *fun)
      clear it.  This exposes cross-language inlining opportunities
      and avoids references to a never defined personality routine.  */
   // TODO: uncomment and find out why this doesn't work.
-  /*if (DECL_FUNCTION_PERSONALITY (current_function_decl)
+  if (DECL_FUNCTION_PERSONALITY (current_function_decl)
       && function_needs_eh_personality (fun) != eh_personality_lang)
-    DECL_FUNCTION_PERSONALITY (current_function_decl) = NULL_TREE;*/
+    DECL_FUNCTION_PERSONALITY (current_function_decl) = NULL_TREE;
 
   return ret;
 }