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 ae1f41c0..c340ef32 100644 --- a/cheri/cheri_insts.sail +++ b/cheri/cheri_insts.sail @@ -184,7 +184,7 @@ function clause execute (CIncOffset(cd, cb, rt)) = exit (raise_c2_exception_v(cd)) else if (register_inaccessible(cb)) then exit (raise_c2_exception_v(cb)) - else if ((cb_val.tag) & (cb_val.sealed) & (rt_val != 0)) then + else if ((cb_val.tag) & (cb_val.sealed) & (rt_val != 0x0000000000000000)) then exit (raise_c2_exception(CapEx_SealViolation, cb)) else writeCapReg(cd, {cb_val with offset=cb_val.offset+rt_val}) |