[Bug tree-optimization/100137] [10/11 Regression] -Warray-bounds false positive on varying offset plus negative

2021-04-19 Thread spamandnoise at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100137 --- Comment #4 from Moritz Beutel --- Interesting. I had figured that the test case could probably be reduced further, but I didn't try because the bug appeared so brittle. Slightly changing seemingly unrelated details made it vanish: - //

[Bug c++/100137] -Werror=array-bounds false positive:"subscript -1 is outside array bounds"

2021-04-18 Thread spamandnoise at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100137 --- Comment #1 from Moritz Beutel --- The problem was discovered in gsl-lite by a user of the library: https://github.com/gsl-lite/gsl-lite/issues/303 This bug (if confirmed) should probably be added to the -Warray-bounds meta-bug: https://gcc.

[Bug c++/100137] New: -Werror=array-bounds false positive:"subscript -1 is outside array bounds"

2021-04-18 Thread spamandnoise at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100137 Bug ID: 100137 Summary: -Werror=array-bounds false positive:"subscript -1 is outside array bounds" Product: gcc Version: 11.0 Status: UNCONFIRMED Severity: nor