summaryrefslogtreecommitdiff
path: root/rts
diff options
context:
space:
mode:
authorMatthew Craven <5086-clyring@users.noreply.gitlab.haskell.org>2023-03-14 22:13:38 -0400
committerMarge Bot <ben+marge-bot@smart-cactus.org>2023-04-04 01:04:10 -0400
commitf7da530c80c0117d5684bb52481e4a40d7e724cc (patch)
treef7842af425dd2513d9d0be63a2df045f416e5258 /rts
parent9095e297fbb46781fd182210609ce2a3f6c59b7a (diff)
downloadhaskell-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.c9
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.");
+}