cheri: throw an exception if there is an attempt to access C26/IDC in the delay slot of a ccall selector 1 call.

1 files changed, 1 insertions, 0 deletions

diff --git a/cheri/cheri_insts.sail b/cheri/cheri_insts.sail
index 50399785..5687a275 100644
--- a/cheri/cheri_insts.sail
+++ b/cheri/cheri_insts.sail
@@ -1060,6 +1060,7 @@ function clause execute (CCall(cs, cb, 0b00000000001)) = (* selector=1 *)
       delayedPC := (bit[64]) (getCapOffset(cs_val));
       delayedPCC := csUnsealed;
       branchPending := true;
+      inCCallDelay  := true;
       C26 := capStructToCapReg({cb_val with
         sealed=false;
         otype=0;