https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108612
Gaius Mulley <gaius at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |ASSIGNED Ever confirmed|0 |1 Last reconfirmed| |2023-01-31 --- Comment #2 from Gaius Mulley <gaius at gcc dot gnu.org> --- Yes indeed the warning is correct and should return FALSE in the ELSE branch.