[Bug ipa/105438] [11/12/13/14 Regression] Incorrect array-bounds warning with array size carried over from a previous template instantiation since r11-4987-g602c6cfc79ce4ae6

[bernie at codewiz dot org via Gcc-bugs]

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

Bernie Innocenti <bernie at codewiz dot org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Version|11.3.0                      |13.1.1
   Target Milestone|11.5                        |13.2

--- Comment #13 from Bernie Innocenti <bernie at codewiz dot org> ---
Still present on g++ 13.1.1

I discovered that -O2 is required to trigger this bug. These compile without
warnings:

 g++ -O1 -Warray-bounds repro.cc
 g++ -O3 -Warray-bounds repro.cc
 g++ -Ofast -Warray-bounds repro.cc