https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109190
--- Comment #3 from Geoffrey <geoffreydgr at icloud dot com> --- (In reply to Xi Ruoyao from comment #2) > With -O0 GCC does not attempt to analyze any loops. I doubt if "-O0 > -fanalyzer" really makes sense. Maybe we should just emit a warning when > -fanalyzer is used with -O0. Could you explain why GCC does not attempt to analyze any loops with -O0 ? Because it depends some optimization passes to help handling loops?