[Bug tree-optimization/110458] [14 Regression] -Warray-bounds=2 new false positive

[law at gcc dot gnu.org via Gcc-bugs]

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

Jeffrey A. Law  changed:

   What|Removed |Added

   Priority|P3  |P2
 CC||law at gcc dot gnu.org

[Bug tree-optimization/110458] [14 Regression] -Warray-bounds=2 new false positive

[sirl at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #3 from Franz Sirl  ---
Actually Comment 2 is only true for the original testcode (which was quite
fragile to reproduce). The reduced testcode started to fail with the backwards
jump threader rewrite in r12-2591-g2e96b5f14e4025691b57d2301d71aa6092ed44bc and
a simple -Warray-bounds. This is proven by the fact that compiling the testcase
with gcc@r12-2591 with an additional --param=threader-mode=legacy makes the
warning go away.

So this bug maybe a duplicate of the other bugs (couldn't find a metabug)
related to r12-2591.

[Bug tree-optimization/110458] [14 Regression] -Warray-bounds=2 new false positive

[pinskia at gcc dot gnu.org via Gcc-bugs]

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

Andrew Pinski  changed:

   What|Removed |Added

Summary|-Warray-bounds=2 new false  |[14 Regression]
   |positive|-Warray-bounds=2 new false
   ||positive
   Target Milestone|--- |14.0