https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88584
--- Comment #5 from Andreas Schwab <sch...@linux-m68k.org> --- The examples in the DR only show identifiers with linkage and with compatible types, but the shadowing decl in the example above has no linkage and an incompatible type.