From 6b98912c895a72e436d0e3b6a72bd751ad29f156 Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Sat, 9 Jun 2018 03:06:27 +0100
Subject: Fix issue in C_backend, and run C tests with undefined behavior
 sanitizer

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

(limited to 'src')

diff --git a/src/c_backend.ml b/src/c_backend.ml
index baa6129a..06e92f3a 100644
--- a/src/c_backend.ml
+++ b/src/c_backend.ml
@@ -1586,7 +1586,7 @@ let rec compile_aexp ctx (AE_aux (aexp_aux, env, l)) =
        in
        [iblock case_instrs; ilabel try_label]
      in
-     assert (ctyp_equal ctyp (ctyp_of_typ typ));
+     assert (ctyp_equal ctyp (ctyp_of_typ ctx typ));
      [icomment "begin try catch";
       idecl ctyp try_return_id;
       itry_block (aexp_setup @ [aexp_call (CL_id try_return_id)] @ aexp_cleanup);
-- 
cgit v1.2.3