[Bug tree-optimization/104603] [10/11/12 Regression] wrong detection of -Warray-bounds for interesting tail resusive case

[herumi at nifty dot com via Gcc-bugs]

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

--- Comment #7 from herumi <herumi at nifty dot com> ---
Created attachment 52478
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=52478&action=edit
an original code

The array-bounds.zip file is a little stripped original issue.

array-bounds% g++-11.2 -O2 -c a.cpp -Warray-bounds -save-temps