diff options
| author | Robert Norton | 2017-06-16 14:02:07 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-06-16 14:02:07 +0100 |
| commit | a17d0d93ceb445800bb35f7bc558ab51a21ef01b (patch) | |
| tree | afe83bb9e485f034f9d0f93e8793c1223103d9a2 /cheri | |
| parent | 3cafb91e447f3e95e45cc9ef1936d1f8e403f30a (diff) | |
remove unnecessary local variable definitions copy and pasted from cbuildcap.
Diffstat (limited to 'cheri')
| -rw-r--r-- | cheri/cheri_insts.sail | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/cheri/cheri_insts.sail b/cheri/cheri_insts.sail index e044dc60..33dacd63 100644 --- a/cheri/cheri_insts.sail +++ b/cheri/cheri_insts.sail @@ -586,12 +586,6 @@ function clause execute (CCopyType(cd, cb, ct)) = cb_val := readCapReg(cb); ct_val := readCapReg(ct); cb_base := getCapBase(cb_val); - ct_base := getCapBase(ct_val); - cb_top := getCapTop(cb_val); - ct_top := getCapTop(ct_val); - cb_perms := getCapPerms(cb_val); - ct_perms := getCapPerms(ct_val); - ct_offset := getCapOffset(ct_val); if (register_inaccessible(cd)) then raise_c2_exception(CapEx_AccessSystemRegsViolation, cd) else if (register_inaccessible(cb)) then |