diff options
| author | Robert Norton | 2016-07-27 16:27:25 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-07-27 16:34:22 +0100 |
| commit | 7011d510c46475f87476c4241ec54e35c8a787f1 (patch) | |
| tree | c44a4a2cad60a5a1477eeaa4b8c45659a43a0322 | |
| parent | d08ae3cda81a16311dbb80f474c0722d04c9f994 (diff) | |
Add final 'else' to CCheckPerms because Peter pointed out that it is better this way.
| -rw-r--r-- | cheri/cheri_insts.sail | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/cheri/cheri_insts.sail b/cheri/cheri_insts.sail index 4b61318d..e9414547 100644 --- a/cheri/cheri_insts.sail +++ b/cheri/cheri_insts.sail @@ -407,6 +407,8 @@ function clause execute (CCheckPerm(cs, rt)) = exit (raise_c2_exception(CapEx_TagViolation, cs)) else if ((cs_perms & rt_perms) != rt_perms) then exit (raise_c2_exception(CapEx_UserDefViolation, cs)) + else + () (* END_CCheckPerm *) } |