https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91585
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> --- >Effectively, if it is the expected behaviour, it's not a bug. Yes because this behavior is only undefined at runtime. So no diagnostic of the issue is required as it is only undefined if invoked.