https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108377
--- Comment #4 from Thomas Schwinge <tschwinge at gcc dot gnu.org> --- Thanks, Andrew, for looking into this. (In reply to Andrew Pinski from comment #2) > If calc_n(259) returns (__SIZE_TYPE__)-1 (aka 18446744073709551615) [...] > the warning is correct ([...]) in some sense of correctness. So, when GCC makes such "special" assumptions, should that really lead into a generic diagnostic being emitted (as reported), where that diagnostic does not spell out those assumptions?
