https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113253
--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> --- Created attachment 57268 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57268&action=edit Reduced reproducer Thanks for filing this bug. The attached is a simplified reproducer on trunk, with: -fanalyzer -O2 -g (emits warning) -fanalyzer O2 (doesn't emit warning) Also reproduced at: https://godbolt.org/z/dzeo3c6KP using -g0 for the latter, since I think godbolt is injecting a -g. I'm investigating.