codeGen: Introduce flag to bounds-check array accesses
Here we introduce code generator support for instrument array primops with bounds checking, enabled with the `-fcheck-prim-bounds` flag. Introduced to debug #20769.
Showing
- compiler/GHC/Cmm/CLabel.hs 3 additions, 1 deletioncompiler/GHC/Cmm/CLabel.hs
- compiler/GHC/Driver/Flags.hs 1 addition, 0 deletionscompiler/GHC/Driver/Flags.hs
- compiler/GHC/Driver/Session.hs 1 addition, 0 deletionscompiler/GHC/Driver/Session.hs
- compiler/GHC/StgToCmm/Prim.hs 118 additions, 0 deletionscompiler/GHC/StgToCmm/Prim.hs
- docs/users_guide/debugging.rst 12 additions, 0 deletionsdocs/users_guide/debugging.rst
- rts/RtsMessages.c 9 additions, 0 deletionsrts/RtsMessages.c
- testsuite/tests/codeGen/should_fail/CheckBoundsCopyByteArray.hs 20 additions, 0 deletions...ite/tests/codeGen/should_fail/CheckBoundsCopyByteArray.hs
- testsuite/tests/codeGen/should_fail/CheckBoundsIndexArray.hs 18 additions, 0 deletionstestsuite/tests/codeGen/should_fail/CheckBoundsIndexArray.hs
- testsuite/tests/codeGen/should_fail/CheckBoundsReadInt8Array.hs 16 additions, 0 deletions...ite/tests/codeGen/should_fail/CheckBoundsReadInt8Array.hs
- testsuite/tests/codeGen/should_fail/CheckBoundsReadWord8ArrayAsInt32.hs 16 additions, 0 deletions...s/codeGen/should_fail/CheckBoundsReadWord8ArrayAsInt32.hs
- testsuite/tests/codeGen/should_fail/CheckBoundsWriteArray.hs 16 additions, 0 deletionstestsuite/tests/codeGen/should_fail/CheckBoundsWriteArray.hs
- testsuite/tests/codeGen/should_fail/all.T 12 additions, 0 deletionstestsuite/tests/codeGen/should_fail/all.T
Loading
Please register or sign in to comment