From 6198232aef876842be8be3641be7faf0cad5b4a5 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Wed, 18 Nov 2020 11:04:12 +0000
Subject: Fix coverage information in case branches that immediately return

---
 src/jib/jib_compile.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/jib')

diff --git a/src/jib/jib_compile.ml b/src/jib/jib_compile.ml
index cd4edd12..fb86333f 100644
--- a/src/jib/jib_compile.ml
+++ b/src/jib/jib_compile.ml
@@ -720,8 +720,8 @@ let rec compile_aexp ctx (AE_aux (aexp_aux, env, l)) =
               guard_setup @ [idecl CT_bool gs; guard_call (CL_id (gs, CT_bool))] @ guard_cleanup
               @ [iif l (V_call (Bnot, [V_id (gs, CT_bool)])) (destructure_cleanup @ [igoto case_label]) [] CT_unit]
             else [])
-         @ body_setup
          @ (if num_cases > 1 then coverage_branch_taken branch_id body else [])
+         @ body_setup
          @ [body_call (CL_id (case_return_id, ctyp))] @ body_cleanup @ destructure_cleanup
          @ [igoto finish_match_label]
        in
-- 
cgit v1.2.3