From 6fb31c8a00e67f5a91983fe92f6df95d5f54a0c1 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Mon, 17 Nov 2014 13:48:23 +0100
Subject: Analysis of jump tables was using the wrong size.

---
 checklink/Check.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/checklink/Check.ml b/checklink/Check.ml
index c9842f40..5213b266 100644
--- a/checklink/Check.ml
+++ b/checklink/Check.ml
@@ -961,7 +961,7 @@ let rec compare_code ccode ecode pc: checker = fun fw ->
               let tblvaddr = Int32.(
                 add (shift_left (Safe32.of_int simm1) 16) (exts d2)
               ) in
-              let tblsize = Safe32.of_int (32 * List.length table) in
+              let tblsize = Safe32.of_int (4 * List.length table) in
               OK(fw)
               >>= match_iregs  GPR12 rA0
               >>= match_iregs  reg   rS0
-- 
cgit