diff options
author | Matthew Craven <5086-clyring@users.noreply.gitlab.haskell.org> | 2023-03-14 22:13:38 -0400 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-04-04 01:04:10 -0400 |
commit | f7da530c80c0117d5684bb52481e4a40d7e724cc (patch) | |
tree | f7842af425dd2513d9d0be63a2df045f416e5258 /rts | |
parent | 9095e297fbb46781fd182210609ce2a3f6c59b7a (diff) | |
download | haskell-f7da530c80c0117d5684bb52481e4a40d7e724cc.tar.gz |
StgToCmm: Upgrade -fcheck-prim-bounds behavior
Fixes #21054. Additionally, we can now check for range overlap
when generating Cmm for primops that use memcpy internally.
Diffstat (limited to 'rts')
-rw-r--r-- | rts/RtsMessages.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/rts/RtsMessages.c b/rts/RtsMessages.c index 2a92c8d228..507d007484 100644 --- a/rts/RtsMessages.c +++ b/rts/RtsMessages.c @@ -338,3 +338,12 @@ rtsOutOfBoundsAccess() { barf("Encountered out of bounds array access."); } + +// Used by code generator +void rtsMemcpyRangeOverlap(void) STG_NORETURN; + +void +rtsMemcpyRangeOverlap() +{ + barf("Encountered overlapping source/destination ranges in a memcpy-using op."); +} |