diff options
Diffstat (limited to 'cheri')
| -rw-r--r-- | cheri/cheri_insts.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cheri/cheri_insts.sail b/cheri/cheri_insts.sail index a2d168cd..88516bb4 100644 --- a/cheri/cheri_insts.sail +++ b/cheri/cheri_insts.sail @@ -343,7 +343,7 @@ function clause execute (CSeal(cd, cs, ct)) = exit (raise_c2_exception(CapEx_SealViolation, ct)) else if (~(ct_val.permit_seal)) then exit (raise_c2_exception(CapEx_PermitSealViolation, ct)) - else if ((ct_val.offset) >= (ct_val.length)) then + else if ((nat)(ct_val.offset) >= (nat)(ct_val.length)) then exit (raise_c2_exception(CapEx_LengthViolation, ct)) else if (ct_cursor > max_otype) then exit (raise_c2_exception(CapEx_LengthViolation, ct)) |