https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107566
David Malcolm changed:
What|Removed |Added
Resolution|--- |DUPLICATE
Status|ASSIGNED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107566
David Malcolm changed:
What|Removed |Added
Status|UNCONFIRMED |ASSIGNED
Last reconfirmed|
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.
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
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;
|