diff options
Diffstat (limited to 'backend/Constprop.v')
-rw-r--r-- | backend/Constprop.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backend/Constprop.v b/backend/Constprop.v index 47c40e3e..39568a34 100644 --- a/backend/Constprop.v +++ b/backend/Constprop.v @@ -206,7 +206,7 @@ Definition transf_instr (app: D.t) (instr: instruction) := | Ijumptable arg tbl => match intval (approx_reg app) arg with | Some n => - match list_nth_z tbl (Int.signed n) with + match list_nth_z tbl (Int.unsigned n) with | Some s => Inop s | None => instr end |