https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106325
--- Comment #4 from David Malcolm <dmalcolm at gcc dot gnu.org> --- Created attachment 54023 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54023&action=edit Reduced reproducer Attached is a reduced version of the reproducer, which demonstrates the false +ve on trunk with just -fanalyzer on the command line: https://godbolt.org/z/fsec1f4hT and also with gcc 12, 11, and 10.
