Fix assert failure in double translation

We have a pass that removes empty blocks. This can trigger an assertion
failure in code generation. It is safe to remove this assertion.

Author: vouillon

compiler/lib/generate.ml

@@ -1947,7 +1947,6 @@ and compile_conditional st queue ~fall_through loc last scope_stack : _ * _ =
           compile_branch st J.U [] e1 scope_stack ~fall_through
         in
         let exn_var, handler =
-          assert (not (List.mem x ~set:(snd e1)));
           let wrap_exn x =
             J.call
               (Share.get_prim (runtime_fun st.ctx) "caml_wrap_exception" st.ctx.Ctx.share)

compiler/tests-compiler/dune.inc

@@ -449,6 +449,21 @@
  (preprocess
   (pps ppx_expect)))
 
+(library
+ ;; compiler/tests-compiler/gh1868.ml
+ (name gh1868_15)
+ (enabled_if true)
+ (modules gh1868)
+ (libraries js_of_ocaml_compiler unix str jsoo_compiler_expect_tests_helper)
+ (inline_tests
+  (enabled_if true)
+  (deps
+   (file %{project_root}/compiler/bin-js_of_ocaml/js_of_ocaml.exe)
+   (file %{project_root}/compiler/bin-jsoo_minify/jsoo_minify.exe)))
+ (flags (:standard -open Jsoo_compiler_expect_tests_helper))
+ (preprocess
+  (pps ppx_expect)))
+
 (library
  ;; compiler/tests-compiler/gh747.ml
  (name gh747_15)

compiler/tests-compiler/gh1868.ml

@@ -0,0 +1,41 @@
+(* Js_of_ocaml compiler
+ * http://www.ocsigen.org/js_of_ocaml/
+ * Copyright (C) 2019 Hugo Heuzard
+ *
+ * This program is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU Lesser General Public License as published by
+ * the Free Software Foundation, with linking exception;
+ * either version 2.1 of the License, or (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU Lesser General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
+ *)
+
+open Util
+
+let%expect_test "" =
+  let program =
+    compile_and_parse
+      ~effects:`Double_translation
+      {|
+exception Nested of exn
+let wrap f =
+  try f () with exn ->
+  let rec unwrap exn =
+    match exn with
+    | Nested e -> unwrap e
+    | _ -> raise exn
+  in
+  unwrap exn
+|}
+  in
+  print_double_fun_decl program "wrap";
+  (*  print_program program;*)
+  [%expect {|
+|}]

compiler/tests-compiler/util/util.ml

@@ -527,7 +527,11 @@ class find_double_function_declaration r n =
                 ( S { name = Utf8 name; _ }
                 , Some
                     ( ECall
-                        ( EVar (S { name = Utf8 "caml_cps_closure"; _ })
+                        ( ( EVar (S { name = Utf8 "caml_cps_closure"; _ })
+                          | EDot
+                              ( EVar (S { name = Utf8 "runtime"; _ })
+                              , _
+                              , Utf8 "caml_cps_closure" ) )
                         , _
                         , [ Arg e1; Arg e2 ]
                         , _ )