summaryrefslogtreecommitdiff
path: root/risc-v/riscv_extras_embed_sequential.lem
diff options
context:
space:
mode:
authorRobert Norton2017-10-31 16:09:46 +0000
committerRobert Norton2017-10-31 16:09:46 +0000
commita35692d69681683c2bffe7c824ad230b88679ed9 (patch)
tree2b0962eb00a62c581a5eced904fa6451687cc382 /risc-v/riscv_extras_embed_sequential.lem
parentb41ee79485e155f67099b007650d73f449db1961 (diff)
cheri: throw an exception if there is an attempt to access C26/IDC in the delay slot of a ccall selector 1 call.
Diffstat (limited to 'risc-v/riscv_extras_embed_sequential.lem')
0 files changed, 0 insertions, 0 deletions