Skip to content

Introduce -fcheck-bounds code generation option

Ben Gamari requested to merge wip/bounds-checking into master

This introduces a new mode of (optional) runtime sanity-checking: array bounds checking. When enabled with the -fcheck-bounds flag, the code generator will introduce various bounds checks into the primops for Array#, SmallArray#, ArrayArray#, and ByteArray#.

This was written while debugging the crash in #20769 (closed).

Merge request reports