[Bug analyzer/107566] array out of bounds not detected

2023-01-27 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107566 David Malcolm changed: What|Removed |Added Resolution|--- |DUPLICATE Status|ASSIGNED

[Bug analyzer/107566] array out of bounds not detected

2022-11-08 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107566 David Malcolm changed: What|Removed |Added Status|UNCONFIRMED |ASSIGNED Last reconfirmed|

[Bug analyzer/107566] array out of bounds not detected

2022-11-07 Thread jamie.bainbridge at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107566 --- Comment #3 from Jamie Bainbridge --- Compiler Explorer are still tracking the old "devel/analyzer" branch. Logged an Issue for them to consider update options: [BUG]: GCC static analysis branch is outdated/obsolete #4256 https://github.

[Bug analyzer/107566] array out of bounds not detected

2022-11-07 Thread jamie.bainbridge at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107566 --- Comment #2 from Jamie Bainbridge --- Thanks for the quick response! I guess Compiler Explorer doesn't enable static analysis on its "trunk" compiler, and I also see now its "static analysis" branch is back at gcc-10. I'll see what I can do

[Bug analyzer/107566] array out of bounds not detected

2022-11-07 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107566 --- Comment #1 from Andrew Pinski --- At -O1 GCC does detect it: : In function 'int main()': :6:29: warning: iteration 3 invokes undefined behavior [-Waggressive-loop-optimizations] 6 | my_array[i] = i; |