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.

1 files changed, 16 insertions, 0 deletions

diff --git a/testsuite/tests/codeGen/should_fail/CheckBoundsReadWord64Array.hs b/testsuite/tests/codeGen/should_fail/CheckBoundsReadWord64Array.hs
new file mode 100644
index 0000000000..f5337d26c3
--- /dev/null
+++ b/testsuite/tests/codeGen/should_fail/CheckBoundsReadWord64Array.hs
@@ -0,0 +1,16 @@
+{-# LANGUAGE UnboxedTuples #-}
+{-# LANGUAGE MagicHash #-}
+
+module Main where
+
+import GHC.Exts
+import GHC.IO
+
+main :: IO ()
+main = do
+    IO $ \s0 ->
+      case newByteArray# 23# s0 of
+        (# s1, marr #) ->
+          case readWord64Array# marr (-1#) s1 of
+            (# s2, _n #) -> (# s2, () #)
+