https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110878
Martin Uecker <muecker at gwdg dot de> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |muecker at gwdg dot de --- Comment #5 from Martin Uecker <muecker at gwdg dot de> --- It is true that there is no UB, but the warning is not directly related to whether something is UB or not. It simply assumes that 16 is an upper bound although the standard does require this.