[Bug tree-optimization/71433] [7 Regression] -Warray-bounds false positive with -O2

[vincent-gcc at vinc17 dot net]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71433

--- Comment #3 from Vincent Lefèvre <vincent-gcc at vinc17 dot net> ---
The bug was introduced in r236831.