https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114526
Harald van Dijk <harald at gigawatt dot nl> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |harald at gigawatt dot nl
--- Comment #4 from Harald van Dijk <harald at gigawatt dot nl> ---
(In reply to Andrew Pinski from comment #2)
> Actually it is a required diagnostic.
It is not.
> See PR 11234 for explanation on how.
As acknowledged by PR 11234's reporter in his comment #10 there, the
description of the bug explains why such code is undefined, but not why it
violates any syntax rule or constraint. Indeed, it violates no syntax rule or
constraint and accordingly no diagnostic is required, the reporter has since
agreed.
