[Bug tree-optimization/100430] False positive for -Warray-bounds and pointers

2021-05-05 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100430 Martin Sebor changed: What|Removed |Added Status|WAITING |RESOLVED Resolution|---

[Bug tree-optimization/100430] False positive for -Warray-bounds and pointers

2021-05-05 Thread jens.maurer at gmx dot net via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100430 --- Comment #4 from Jens Maurer --- Thanks. My take-away from the discussion is that -Warray-bounds triggers when there might be a code path with bad behavior. Whether such a code path is detected depends very much on the details of optimizatio

[Bug tree-optimization/100430] False positive for -Warray-bounds and pointers

2021-05-05 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100430 Martin Sebor changed: What|Removed |Added CC||msebor at gcc dot gnu.org --- Comment #3

[Bug tree-optimization/100430] False positive for -Warray-bounds and pointers

2021-05-05 Thread jens.maurer at gmx dot net via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100430 --- Comment #2 from Jens Maurer --- Why does the warning go away with -O3, then? If it's intentional, it should be consistent once the optimization level is sufficient for the necessary static analysis.

[Bug tree-optimization/100430] False positive for -Warray-bounds and pointers

2021-05-05 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100430 Richard Biener changed: What|Removed |Added Blocks||56456 Keywords|