https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109269
rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Ever confirmed|0 |1 Status|UNCONFIRMED |WAITING CC| |rsandifo at gcc dot gnu.org Last reconfirmed| |2023-04-13 --- Comment #5 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> --- I don't think there's a problem with the example in comment 3. The loop is (deliberately) using 64-bit arithmetic, so no overflow will occur even for num==INT_MAX.