https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65684
--- Comment #3 from Alexander Vogt <a.vogt at fulguritus dot com> --- OK, I agree that the behavior is Standard conforming... Thanks for the clarification! Still, the error message issued is not really helpful if one is unfamiliar with the Standard. Maybe it could be improved for more guidance (point towards the overflow and maybe the Standard).