[Bug c++/83820] New: No diagnostic issued for noreturn attribute specifier with an argument list

[smw at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83820

            Bug ID: 83820
           Summary: No diagnostic issued for noreturn attribute specifier
                    with an argument list
           Product: gcc
           Version: 7.0
            Status: UNCONFIRMED
          Severity: minor
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: smw at gcc dot gnu.org
  Target Milestone: ---

No diagnostic is issued for a [[noreturn]] attribute specifier containing an
attribute-argument-clause.  See [dcl.attr.noreturn]/1

Example code accepted by GCC but rejected by clang, ICC, MSVC:

[[noreturn()]] void f() { throw 0; }