Closed davidchisnall closed 4 months ago
These were being lowered as a memcpy from address-space 0. On CHERIoT, this causes a failure in the back end because we don't support AS0. On other CHERI platforms that do, it will silently do the wrong thing (and possibly trap).
Fixes #36
These were being lowered as a memcpy from address-space 0. On CHERIoT, this causes a failure in the back end because we don't support AS0. On other CHERI platforms that do, it will silently do the wrong thing (and possibly trap).
Fixes #36