https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107566
--- Comment #2 from Jamie Bainbridge <jamie.bainbridge at gmail dot com> --- 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 to improve that on their site. Is "-Waggressive-loop-optimizations" the correct thing to trip here? I would have expected "-Wanalyzer-out-of-bounds". If you're happy that is working correctly, this is good to close as WORKSFORME or whatever you feel is appropriate.