https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94362
David Malcolm <dmalcolm at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Last reconfirmed| |2021-02-17 Status|UNCONFIRMED |ASSIGNED Ever confirmed|0 |1 --- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> --- Looks like this no longer affects trunk. I can reproduce the false positive with -fno-analyzer-feasibility, but by default, the diagnostic is (correctly) rejected as infeasible. Moving to ASSIGNED to cover adding a regression test for this.