Issue 12928 - Range check dropped for array[length]

[lionello]

IntRanges in DMD are inclusive. The range check would get dropped if the expression for the index was contained within [0..length]-inclusive. This would drop the range check for [length].

https://issues.dlang.org/show_bug.cgi?id=12928

[CyberShadow]

I think this needs // PERMUTE_ARGS:

[lionello]

Added. Although all flags except -noboundscheck should be fine.

[9rnsr]

Default compiler switch permutation for runnable cases is -inline -release -g -O, so PERMUTE_ARGS: -inline -g -O is better.

[braddr]

The default permute set is "-inline -release -gc -O -unittest -fPIC", look in dmd/test/Makefile. In the auto tester, for pulls, the set is reduced to "-O -inline -release" to reduce the test time.

[lionello]

I see: -release drops bounds check for non-@safe modules. Tried to make main @safe but wouldn't let me catch RangeError in that case. Going with @9rnsr suggestion.

[9rnsr]

Auto-merge toggled on