https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68994
Vincent Lefèvre <vincent-gcc at vinc17 dot net> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |vincent-gcc at vinc17 dot net
--- Comment #2 from Vincent Lefèvre <vincent-gcc at vinc17 dot net> ---
(In reply to l3x from comment #1)
> Found a duplicate: #14331.
>
> *** This bug has been marked as a duplicate of bug 14331 ***
PR 14331 is actually about the *opposite* behavior: the diagnostic has been
removed.
