From fce7f41ae363d024ae2788f55ef2e2890c246e57 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Tue, 19 Apr 2016 13:38:09 +0100
Subject: cheri: be sure to use unsigned comparison in CUnseal

---
 cheri/cheri_insts.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 
-- 
cgit v1.2.3