https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79273
John David Anglin <danglin at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|WAITING |RESOLVED Resolution|--- |FIXED --- Comment #3 from John David Anglin <danglin at gcc dot gnu.org> --- I believe this was fixed by the following: 2017-01-27 Jakub Jelinek <ja...@redhat.com> PR c/79199 * c-c++-common/Wduplicated-branches-13.c: Require int32plus effective target. Use 4294967293U instead of 4294967293.