diff options
| author | Robert Norton | 2016-04-19 13:38:09 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-04-19 13:38:09 +0100 |
| commit | fce7f41ae363d024ae2788f55ef2e2890c246e57 (patch) | |
| tree | de43b15cee6eff945644b549b6a37e6f4d06b933 | |
| parent | 0f517f09b7708b95cb260e6c297414b0ba4c5075 (diff) | |
cheri: be sure to use unsigned comparison in CUnseal
| -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 e008b46e..ee7ae0d4 100644 --- a/cheri/cheri_insts.sail +++ b/cheri/cheri_insts.sail @@ -376,7 +376,7 @@ function clause execute (CUnseal(cd, cs, ct)) = exit (raise_c2_exception(CapEx_TypeViolation, 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 (unsigned(ct_val.offset) >= unsigned(ct_val.length)) then exit (raise_c2_exception(CapEx_LengthViolation, ct)) else writeCapReg(cd, {cs_val with |