https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90476
--- Comment #6 from Jonny Grant <jg at jguk dot org> --- I appreciate behaviour is undefined. What is the most suitable behaviour for gcc? Currently it accepts zero. Can it not be rejected, or a warning?