[SEMA] ignore duplicate declaration specifiers from typeof exprs

[nickdesaulniers]

Summary

Create a third diagnostic type for duplicate declaration specifiers. Previously, we had an ExtWarn and a Warning. This change adds a third, Extension, which only warns when -pedantic is set, staying silent otherwise.

The common cases where each are used are roughly:
Extension: pre-C99 (added by this change)
ExtWarn: C++
Warning: _Noreturn, inline, other C++ keywords

Where the preexisting behavior is mostly kept intact. This change intentionally removes warnings for duplicated _Atomic and restrict, since they were not available until C11 and C99 respectively, and we not longer wish to warn for duplicates for C99 and newer.

Fixes PR32985.

[nickdesaulniers]

git-clang-format HEAD~

[joel]

I built Linux using this patch applied to trunk and it worked for me. Thanks!

[manojgupta]

As per https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80868, I thought GCC also emits this error but only with -pedantic. So probably should keep this error but under -Wextra or another appropriate group?

[nickdesaulniers]

• warn only if -pedantic, add gcc bug test cases

[nickdesaulniers]

• git-clang-format HEAD~

[lebedev.ri]

test/Sema/gnu89.c

1–2 ↗

(On Diff #166352)

This ideally needs positive tests. E.g.:

• -std=c89
• -std=c89 -pedantic
• -std=gnu99
• -std=gnu99 -pedantic
• -std=c99
• -std=c99 -pedantic

16 ↗

(On Diff #166352)

There is no otherwise check prefix in the run lines.

[manojgupta]

lgtm. But someone more familiar with these code paths should approve.

[nickdesaulniers]

• move test to new file, use check-prefix for both cases

[nickdesaulniers]

• add line numbers to match specific warning lines

[srhines]

lib/Sema/SemaType.cpp

1682

This is broken for C11 and C17 (even before you touch anything). As we just talked about, let's have a helper function to detect the oldest version (and maybe even that should get promoted as a LANGOPT).

[nickdesaulniers]

test/Sema/gnu89.c

1–2 ↗

(On Diff #166352)

Since typeof is a gnu extension, its use constitutes an error for all non gnu C standards, so it's moot to check for duplicate const specifiers from typeof exprs.

Since we're trying to match GCC's behavior here, GCC does not warn for -std=gnu99 or -std=gnu99 -pedantic so I will add those test cases.

[nickdesaulniers]

test/Sema/gnu89.c

1–2 ↗

(On Diff #166352)

https://godbolt.org/z/3trZdl

[nickdesaulniers]

• also run test on gnu99+

lib/Sema/SemaType.cpp

1682

From the declarations in include/clang/Frontend/LangStandards.def, newer versions of C bitwise OR together flags of previous versions. So C99 sets C99 flag, C11 sets C99 and C11 flags, and C17 sets C99, C11, and C17 flags.

So this should be correct (though even to me, this looks wrong on first glance). Thanks to @george.burgess.iv and you for help in looking into this.

[nickdesaulniers]

test/Sema/gnu89.c

1–2 ↗

(On Diff #166352)

Ah, I can still put CHECKs for errors. Will add additional tests.

[nickdesaulniers]

• add ISO C tests, handle typedef case new tests found

[nickdesaulniers]

• remove debug statments

[nickdesaulniers]

• condense CHECK-prefixes into CHECK for const const

[nickdesaulniers]

test/Sema/gnu89-const.c

41–46 ↗

(On Diff #166740)

gah, CNU typo!

[nickdesaulniers]

• fix typo s/CNU/GNU/g and update NOTEs

[nickdesaulniers]

• adjust wording in comment

[nickdesaulniers]

This now matches GCC AFAICT. My only question is:

Should GCC instead warn for the typedef case for -std=c89 (non pedantic), according to C90 6.5.3?

[nickdesaulniers]

Should GCC instead warn for the typedef case for -std=c89 (non pedantic), according to C90 6.5.3?

Seems like yes: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80868#c6
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87435
But let's wait a bit to see what the GCC folks say. If the newer bug doesn't get closed, then I need to rework this patch.

[rsmith]

The right way to produce diagnostics under pedantic mode is to model them as Extension or ExtWarn in the .td file, not by checking the Pedantic diagnostic option directly. If this is an intentional GNU extension too, that makes things a bit more complex (one approach would be to have two diagnostics, one for "this is ill-formed" and another for "this is a GNU extension").

[nickdesaulniers]

• split duplicate_declspec into Extension and Extwarn from Extwarn.
• rename ext_duplicate_declspec to be the Extension, not the Extwarn.
• Fix C++ case.
• Use tablegen'd Extension rather than checking Pedantic diag option.
• Update tests that started failing due to this change.
• Consolidate checks for duplicate declspecs into 1 file.
• Move cases for PR8264 into my added test case, extending them for various language standards.
• Update my tests/rename the new test file name.

[nickdesaulniers]

Ok, I think this is ready for rereview.

test/Parser/atomic.c

5

Note to reviewers: this deletion was intentional. It is not copied over to the new test file test/Sema/dupl-declspec.c because we now DONT want to warn for duplicates in C99+, and _Atomic was not available before C11.

test/Sema/declspec.c

43

Note to reviewers; this deletion was intentional. It is not copied over to the new test file test/Sema/dupl-declspec.c with the rest of the PR8264 cases because we now DONT want to warn for duplicates in C99+, and restrict was not available before then (ie. C90).

The rest of these cases were moved to the new test file test/Sema/dupl-declspec.c and exhaustively tested against all current C standards.

[nickdesaulniers]

test/FixIt/fixit.c

50

Ah, this was a case I should add one last test for. I think reviewers can still start reviewing the rest. This should just add one additional test case.

[nickdesaulniers]

• add back test for typedef typedef
• add test for dupl _Atomic and restrict

[nickdesaulniers]

test/FixIt/fixit.c

50

Added test case back.

test/Parser/atomic.c

5

Actually, we can still test that it does not appear.

test/Sema/declspec.c

43

Actually, we can still test that it does not appear.

[nickdesaulniers]

• move back untouched test case

[rsmith]

Downgrading the C89 warning for duplicate qualifiers from typedefs / __typeof from ExtWarn to Extension seems very reasonable to me. However, I don't see a justification for removing the warning for duplicate explicit (non-typedef) qualifiers in C99, nor for downgrading the corresponding ExtWarn to an Extension in our other language modes; that seems like a regression.

include/clang/Basic/DiagnosticSemaKinds.td

197

Please follow our naming convention for diagnostic names: both Extension and ExtWarn diagnostics should start ext_.

lib/Sema/DeclSpec.cpp

441–443

This doesn't look like a correct change. When IsExtension is false, the duplicate is not ill-formed, so we shouldn't use an ExtWarn diagnostic (which results in an error under -pedantic-errors).

854–859

We still want to warn on duplicate decl specifiers in C99 mode.

[nickdesaulniers]

lib/Sema/DeclSpec.cpp

441–443

If the duplicate is not ill-formed, then isn't the original code incorrect, since it produces a warning?

[nickdesaulniers]

[SEMA] split ExtWarn dupl-decl-spec's into Extension and ExtWarn

For types deduced from typedef's and typeof's, don't warn for duplicate
declaration specifiers in C90 unless -pedantic.

Create a third diagnostic type for duplicate declaration specifiers.
Previously, we had an ExtWarn and a Warning. This change adds a third,
Extension, which only warns when -pedantic is set, staying silent
otherwise.

Fixes PR32985.

[nickdesaulniers]

Well that didn't do what I wanted...(sorry, still learning arc). Going to abandon this and push a much simpler fix.

[nickdesaulniers]

Created: https://reviews.llvm.org/D52849

include/clang/Basic/DiagnosticSemaKinds.td

 def err_designator_into_flexible_array_member : Error<
   "designator into flexible array member subobject">;
 def note_flexible_array_member : Note<
   "initialized flexible array member %0 is here">;
 def ext_flexible_array_init : Extension<
   "flexible array initialization is a GNU extension">, InGroup<GNUFlexibleArrayInitializer>;
 
 // Declarations.
-def ext_duplicate_declspec : ExtWarn<"duplicate '%0' declaration specifier">,
+def ext_duplicate_declspec : Extension<"duplicate '%0' declaration specifier">,
+  InGroup<DuplicateDeclSpecifier>;
+def extwarn_duplicate_declspec : ExtWarn<"duplicate '%0' declaration specifier">,
   InGroup<DuplicateDeclSpecifier>;
 def warn_duplicate_declspec : Warning<"duplicate '%0' declaration specifier">,
   InGroup<DuplicateDeclSpecifier>;
 def ext_plain_complex : ExtWarn<
   "plain '_Complex' requires a type specifier; assuming '_Complex double'">;
 def ext_imaginary_constant : Extension<
   "imaginary constants are a GNU extension">, InGroup<GNUImaginaryConstant>;
 def ext_integer_complex : Extension<

lib/Parse/ParseDecl.cpp

case tok::less:
       // If a type specifier follows, it will be diagnosed elsewhere.
       continue;
     }
     // If the specifier wasn't legal, issue a diagnostic.
     if (isInvalid) {
       assert(PrevSpec && "Method did not return previous specifier!");
       assert(DiagID);
 
-      if (DiagID == diag::ext_duplicate_declspec)
+      if (DiagID == diag::ext_duplicate_declspec ||
+          DiagID == diag::extwarn_duplicate_declspec)
         Diag(Tok, DiagID)
           << PrevSpec << FixItHint::CreateRemoval(Tok.getLocation());
       else if (DiagID == diag::err_opencl_unknown_type_specifier) {
         Diag(Tok, DiagID) << getLangOpts().OpenCLCPlusPlus
             << getLangOpts().getOpenCLVersionTuple().getAsString()
             << PrevSpec << isStorageClass;
       } else
         Diag(Tok, DiagID) << PrevSpec;

lib/Sema/DeclSpec.cpp

 template <class T> static bool BadSpecifier(T TNew, T TPrev,
                                             const char *&PrevSpec,
                                             unsigned &DiagID,
                                             bool IsExtension = true) {
   PrevSpec = DeclSpec::getSpecifierName(TPrev);
   if (TNew != TPrev)
     DiagID = diag::err_invalid_decl_spec_combination;
   else
-    DiagID = IsExtension ? diag::ext_duplicate_declspec :
-                           diag::warn_duplicate_declspec;
+    DiagID = IsExtension ? diag::ext_duplicate_declspec
+                         : diag::extwarn_duplicate_declspec;
   return true;
 }
 
 const char *DeclSpec::getSpecifierName(DeclSpec::SCS S) {
   switch (S) {
   case DeclSpec::SCS_unspecified: return "unspecified";
   case DeclSpec::SCS_typedef:     return "typedef";
   case DeclSpec::SCS_extern:      return "extern";
   case DeclSpec::SCS_static:      return "static";
if (StorageClassSpec != SCS_unspecified) {
 
     // Changing storage class is allowed only if the previous one
     // was the 'extern' that is part of a linkage specification and
     // the new storage class is 'typedef'.
     if (isInvalid &&
         !(SCS_extern_in_linkage_spec &&
           StorageClassSpec == SCS_extern &&
           SC == SCS_typedef))
-      return BadSpecifier(SC, (SCS)StorageClassSpec, PrevSpec, DiagID);
+      return BadSpecifier(SC, (SCS)StorageClassSpec, PrevSpec, DiagID,
+                          /*IsExtension=*/false);
   }
   StorageClassSpec = SC;
   StorageClassSpecLoc = Loc;
   assert((unsigned)SC == StorageClassSpec && "SCS constants overflow bitfield");
   return false;
 }
 
 bool DeclSpec::SetStorageClassSpecThread(TSCS TSC, SourceLocation Loc,
bool DeclSpec::SetTypeSpecError() {
   TypeSpecOwned = false;
   TSTLoc = SourceLocation();
   TSTNameLoc = SourceLocation();
   return false;
 }
 
 bool DeclSpec::SetTypeQual(TQ T, SourceLocation Loc, const char *&PrevSpec,
                            unsigned &DiagID, const LangOptions &Lang) {
-  // Duplicates are permitted in C99 onwards, but are not permitted in C89 or
-  // C++.  However, since this is likely not what the user intended, we will
-  // always warn.  We do not need to set the qualifier's location since we
-  // already have it.
-  if (TypeQualifiers & T) {
-    bool IsExtension = true;
-    if (Lang.C99)
-      IsExtension = false;
+  // Duplicates are permitted in C99 onwards, but are not permitted in C++.  In
+  // C90, they are a warning if -pedantic.  We do not need to set the
+  // qualifier's location since we already have it.
+  if (TypeQualifiers & T && !Lang.C99) {
+    bool IsExtension = !Lang.CPlusPlus;
     return BadSpecifier(T, T, PrevSpec, DiagID, IsExtension);
   }
   TypeQualifiers |= T;
 
   switch (T) {
   case TQ_unspecified: break;
   case TQ_const:    TQ_constLoc = Loc; return false;
   case TQ_restrict: TQ_restrictLoc = Loc; return false;
   case TQ_volatile: TQ_volatileLoc = Loc; return false;
bool DeclSpec::SetFriendSpec(SourceLocation Loc, const char *&PrevSpec,
   FriendLoc = Loc;
   return false;
 }
 
 bool DeclSpec::setModulePrivateSpec(SourceLocation Loc, const char *&PrevSpec,
                                     unsigned &DiagID) {
   if (isModulePrivateSpecified()) {
     PrevSpec = "__module_private__";
-    DiagID = diag::ext_duplicate_declspec;
+    DiagID = diag::extwarn_duplicate_declspec;
     return true;
   }
 
   ModulePrivateLoc = Loc;
   return false;
 }
 
 bool DeclSpec::SetConstexprSpec(SourceLocation Loc, const char *&PrevSpec,

lib/Sema/SemaType.cpp

if (TypeQuals && Result->isReferenceType()) {
           S, DS, TypeQuals, Result,
           DeclSpec::TQ_const | DeclSpec::TQ_volatile | DeclSpec::TQ_atomic,
           diag::warn_typecheck_reference_qualifiers);
     }
 
     // C90 6.5.3 constraints: "The same type qualifier shall not appear more
     // than once in the same specifier-list or qualifier-list, either directly
     // or via one or more typedefs."
-    if (!S.getLangOpts().C99 && !S.getLangOpts().CPlusPlus
-        && TypeQuals & Result.getCVRQualifiers()) {
+    //
+    // C90 and GNU89 do not warn if the TST is from a typedef unless -pedantic
+    // was set. GNU89 additionally does not warn if the TST is from a typeof
+    // expression unless -pedantic was set.
+    if (!S.getLangOpts().C99 && !S.getLangOpts().CPlusPlus &&
+        TypeQuals & Result.getCVRQualifiers()) {
       if (TypeQuals & DeclSpec::TQ_const && Result.isConstQualified()) {
         S.Diag(DS.getConstSpecLoc(), diag::ext_duplicate_declspec)
           << "const";
       }
 
       if (TypeQuals & DeclSpec::TQ_volatile && Result.isVolatileQualified()) {
         S.Diag(DS.getVolatileSpecLoc(), diag::ext_duplicate_declspec)
           << "volatile";

test/FixIt/fixit-eof-space.c

-// RUN: not %clang_cc1 %s -fsyntax-only -fdiagnostics-parseable-fixits 2>&1 | FileCheck %s
+// RUN: not %clang_cc1 %s -fsyntax-only -fdiagnostics-parseable-fixits -std=c90 -pedantic 2>&1 | FileCheck %s
 // vim: set binary noeol:
 
 // This file intentionally ends without a \n on the last line.  Make sure your
 // editor doesn't add one. The trailing space is also intentional.
 
 // CHECK: :9:8: warning: duplicate 'extern' declaration specifier
 // CHECK: fix-it:"{{.*}}":{9:8-9:15}:""
 extern extern 
 No newline at end of file

test/FixIt/fixit.c

 int test_cond(int y, int fooBar) { // expected-note {{here}}
 // CHECK: int x = y ? 1 : 4+fooBar;
   int x = y ? 1 4+foobar; // expected-error {{expected ':'}} expected-error {{undeclared identifier}} expected-note {{to match}}
 // CHECK: x = y ? ONE : TWO;
   x = y ? ONE TWO; // expected-error {{':'}} expected-note {{to match}}
   return x;
 }
 
-// CHECK: const typedef int int_t;
-const typedef typedef int int_t; // expected-warning {{duplicate 'typedef'}}
-
 // <rdar://problem/7159693>
 enum Color { 
   Red // expected-error{{missing ',' between enumerators}}
   Green = 17 // expected-error{{missing ',' between enumerators}}
   Blue,
 };
 
+// CHECK: const typedef int int_t;
+const typedef typedef int int_t; // expected-warning {{duplicate 'typedef'}}
+
 // rdar://9295072
 struct test_struct {
   // CHECK: struct test_struct *struct_ptr;
   test_struct *struct_ptr; // expected-error {{must use 'struct' tag to refer to type 'test_struct'}}
 };
 
 void removeUnusedLabels(char c) {
   L0 /*removed comment*/:        c++; // expected-warning {{unused label}}

test/Parser/atomic.c

 // RUN: %clang_cc1 -std=c11 %s -fsyntax-only -verify -pedantic
 
 typedef _Atomic(int) atomic_int;
 typedef _Atomic int atomic_int;
-typedef _Atomic _Atomic _Atomic(int) atomic_int; // expected-warning {{duplicate '_Atomic' declaration specifier}}
 
 typedef const int const_int;
 
 typedef const atomic_int const_atomic_int;
 typedef _Atomic const int const_atomic_int;
 typedef const _Atomic int const_atomic_int;
 typedef const _Atomic(int) const_atomic_int;
 typedef const _Atomic(_Atomic int) const_atomic_int; // expected-error {{_Atomic cannot be applied to atomic type '_Atomic(int)'}}

test/Sema/declspec.c

 
 void test2() {}
 
 
 // PR6423
 struct test3s {
 } // expected-error {{expected ';' after struct}}
 typedef int test3g;
-
-// PR8264
-const const int pr8264_1 = 0;  // expected-warning {{duplicate 'const' declaration specifier}}
-volatile volatile int pr8264_2;  // expected-warning {{duplicate 'volatile' declaration specifier}}
-char * restrict restrict pr8264_3;  // expected-warning {{duplicate 'restrict' declaration specifier}}
-
-extern extern int pr8264_4;  // expected-warning {{duplicate 'extern' declaration specifier}}
-void pr8264_5() {
-  register register int x;  // expected-warning {{duplicate 'register' declaration specifier}}
-}
-
-inline inline void pr8264_6() {}  // expected-warning {{duplicate 'inline' declaration specifier}}
-_Noreturn _Noreturn void pr8264_7();  // expected-warning {{duplicate '_Noreturn' declaration specifier}}

test/Sema/dupl-declspec.c

+/*
+RUN: not %clang_cc1 %s -std=c89 -fsyntax-only 2>&1 | FileCheck -check-prefix=CHECK-C89 %s
+RUN: not %clang_cc1 %s -std=c89 -pedantic -fsyntax-only 2>&1 | FileCheck -check-prefix=CHECK-C89-PEDANTIC %s
+RUN: not %clang_cc1 %s -std=c99 -fsyntax-only 2>&1 | FileCheck -check-prefix=CHECK-C99 %s
+RUN: not %clang_cc1 %s -std=c99 -pedantic -fsyntax-only 2>&1 | FileCheck -check-prefix=CHECK-C99-PEDANTIC %s
+RUN: not %clang_cc1 %s -std=c11 -fsyntax-only 2>&1 | FileCheck -check-prefix=CHECK-C11 %s
+RUN: not %clang_cc1 %s -std=c11 -pedantic -fsyntax-only 2>&1 | FileCheck -check-prefix=CHECK-C11-PEDANTIC %s
+RUN: not %clang_cc1 %s -std=c17 -fsyntax-only 2>&1 | FileCheck -check-prefix=CHECK-C17 %s
+RUN: not %clang_cc1 %s -std=c17 -pedantic -fsyntax-only 2>&1 | FileCheck -check-prefix=CHECK-C17-PEDANTIC %s
+
+RUN: not %clang_cc1 %s -std=gnu89 -fsyntax-only 2>&1 | FileCheck -check-prefix=CHECK-GNU89 -allow-empty %s
+RUN: not %clang_cc1 %s -std=gnu89 -pedantic -fsyntax-only 2>&1 | FileCheck -check-prefix=CHECK-GNU89-PEDANTIC %s
+RUN: %clang_cc1 %s -std=gnu99 -fsyntax-only 2>&1 | FileCheck -check-prefix=CHECK-GNU99 -allow-empty %s
+RUN: %clang_cc1 %s -std=gnu99 -pedantic -fsyntax-only 2>&1 | FileCheck -check-prefix=CHECK-GNU99-PEDANTIC %s
+RUN: %clang_cc1 %s -std=gnu11 -fsyntax-only 2>&1 | FileCheck -check-prefix=CHECK-GNU11 -allow-empty %s
+RUN: %clang_cc1 %s -std=gnu11 -pedantic -fsyntax-only 2>&1 | FileCheck -check-prefix=CHECK-GNU11-PEDANTIC %s
+RUN: %clang_cc1 %s -std=gnu17 -fsyntax-only 2>&1 | FileCheck -check-prefix=CHECK-GNU17 -allow-empty %s
+RUN: %clang_cc1 %s -std=gnu17 -pedantic -fsyntax-only 2>&1 | FileCheck -check-prefix=CHECK-GNU17-PEDANTIC %s
+*/
+
+const const int pr8264_1;
+/*
+CHECK-C89-NOT: 21:7: warning: duplicate 'const' declaration specifier
+CHECK-C89-PEDANTIC: 21:7: warning: duplicate 'const' declaration specifier
+          ^ NOTE: special case
+CHECK-C99-NOT: 21:7: warning: duplicate 'const' declaration specifier
+CHECK-C99-PEDANTIC-NOT: 21:7: warning: duplicate 'const' declaration specifier
+CHECK-C11-NOT: 21:7: warning: duplicate 'const' declaration specifier
+CHECK-C11-PEDANTIC-NOT: 21:7: warning: duplicate 'const' declaration specifier
+CHECK-C17-NOT: 21:7: warning: duplicate 'const' declaration specifier
+CHECK-C17-PEDANTIC-NOT: 21:7: warning: duplicate 'const' declaration specifier
+
+CHECK-GNU89-NOT: 21:7: warning: duplicate 'const' declaration specifier
+CHECK-GNU89-PEDANTIC: 21:7: warning: duplicate 'const' declaration specifier
+            ^ NOTE: special case
+CHECK-GNU99-NOT: 21:7: warning: duplicate 'const' declaration specifier
+CHECK-GNU99-PEDANTIC-NOT: 21:7: warning: duplicate 'const' declaration specifier
+CHECK-GNU11-NOT: 21:7: warning: duplicate 'const' declaration specifier
+CHECK-GNU11-PEDANTIC-NOT: 21:7: warning: duplicate 'const' declaration specifier
+CHECK-GNU17-NOT: 21:7: warning: duplicate 'const' declaration specifier
+CHECK-GNU17-PEDANTIC-NOT: 21:7: warning: duplicate 'const' declaration specifier
+*/
+
+typedef const int t;
+const t c_i;
+/*
+CHECK-C89-NOT: 45:1: warning: duplicate 'const' declaration specifier
+CHECK-C89-PEDANTIC: 45:1: warning: duplicate 'const' declaration specifier
+          ^ NOTE: special case
+CHECK-C99-NOT: 45:1: warning: duplicate 'const' declaration specifier
+CHECK-C99-PEDANTIC-NOT: 45:1: warning: duplicate 'const' declaration specifier
+CHECK-C11-NOT: 45:1: warning: duplicate 'const' declaration specifier
+CHECK-C11-PEDANTIC-NOT: 45:1: warning: duplicate 'const' declaration specifier
+CHECK-C17-NOT: 45:1: warning: duplicate 'const' declaration specifier
+CHECK-C17-PEDANTIC-NOT: 45:1: warning: duplicate 'const' declaration specifier
+
+CHECK-GNU89-NOT: 45:1: warning: duplicate 'const' declaration specifier
+CHECK-GNU89-PEDANTIC: 45:1: warning: duplicate 'const' declaration specifier
+            ^ NOTE: special case
+CHECK-GNU99-NOT: 45:1: warning: duplicate 'const' declaration specifier
+CHECK-GNU99-PEDANTIC-NOT: 45:1: warning: duplicate 'const' declaration specifier
+CHECK-GNU11-NOT: 45:1: warning: duplicate 'const' declaration specifier
+CHECK-GNU11-PEDANTIC-NOT: 45:1: warning: duplicate 'const' declaration specifier
+CHECK-GNU17-NOT: 45:1: warning: duplicate 'const' declaration specifier
+CHECK-GNU17-PEDANTIC-NOT: 45:1: warning: duplicate 'const' declaration specifier
+*/
+
+const int c_i2;
+const typeof(pr8264_1) c_i4;
+/*
+CHECK-C89-NOT: 69:1: warning: duplicate 'const' declaration specifier
+CHECK-C89-PEDANTIC-NOT: 69:1: warning: duplicate 'const' declaration specifier
+CHECK-C99-NOT: 69:1: warning: duplicate 'const' declaration specifier
+CHECK-C99-PEDANTIC-NOT: 69:1: warning: duplicate 'const' declaration specifier
+CHECK-C11-NOT: 69:1: warning: duplicate 'const' declaration specifier
+CHECK-C11-PEDANTIC-NOT: 69:1: warning: duplicate 'const' declaration specifier
+CHECK-C17-NOT: 69:1: warning: duplicate 'const' declaration specifier
+CHECK-C17-PEDANTIC-NOT: 69:1: warning: duplicate 'const' declaration specifier
+
+CHECK-GNU89-NOT: 69:1: warning: duplicate 'const' declaration specifier
+CHECK-GNU89-PEDANTIC: 69:1: warning: duplicate 'const' declaration specifier
+            ^ NOTE: special case
+CHECK-GNU99-NOT: 69:1: warning: duplicate 'const' declaration specifier
+CHECK-GNU99-PEDANTIC-NOT: 69:1: warning: duplicate 'const' declaration specifier
+CHECK-GNU11-NOT: 69:1: warning: duplicate 'const' declaration specifier
+CHECK-GNU11-PEDANTIC-NOT: 69:1: warning: duplicate 'const' declaration specifier
+CHECK-GNU17-NOT: 69:1: warning: duplicate 'const' declaration specifier
+CHECK-GNU17-PEDANTIC-NOT: 69:1: warning: duplicate 'const' declaration specifier
+*/
+
+volatile volatile int pr8264_2;
+/*
+CHECK-C89-NOT: 91:10: warning: duplicate 'volatile' declaration specifier
+CHECK-C89-PEDANTIC: 91:10: warning: duplicate 'volatile' declaration specifier
+          ^ NOTE: special case
+CHECK-C99-NOT: 91:10: warning: duplicate 'volatile' declaration specifier
+CHECK-C99-PEDANTIC-NOT: 91:10: warning: duplicate 'volatile' declaration specifier
+CHECK-C11-NOT: 91:10: warning: duplicate 'volatile' declaration specifier
+CHECK-C11-PEDANTIC-NOT: 91:10: warning: duplicate 'volatile' declaration specifier
+CHECK-C17-NOT: 91:10: warning: duplicate 'volatile' declaration specifier
+CHECK-C17-PEDANTIC-NOT: 91:10: warning: duplicate 'volatile' declaration specifier
+
+CHECK-GNU89-NOT: 91:10: warning: duplicate 'volatile' declaration specifier
+CHECK-GNU89-PEDANTIC: 91:10: warning: duplicate 'volatile' declaration specifier
+            ^ NOTE: special case
+CHECK-GNU99-NOT: 91:10: warning: duplicate 'volatile' declaration specifier
+CHECK-GNU99-PEDANTIC-NOT: 91:10: warning: duplicate 'volatile' declaration specifier
+CHECK-GNU11-NOT: 91:10: warning: duplicate 'volatile' declaration specifier
+CHECK-GNU11-PEDANTIC-NOT: 91:10: warning: duplicate 'volatile' declaration specifier
+CHECK-GNU17-NOT: 91:10: warning: duplicate 'volatile' declaration specifier
+CHECK-GNU17-PEDANTIC-NOT: 91:10: warning: duplicate 'volatile' declaration specifier
+*/
+
+extern extern int pr8264_3;
+/*
+CHECK-C89: 114:8: warning: duplicate 'extern' declaration specifier
+CHECK-C89-PEDANTIC: 114:8: warning: duplicate 'extern' declaration specifier
+CHECK-C99: 114:8: warning: duplicate 'extern' declaration specifier
+CHECK-C99-PEDANTIC: 114:8: warning: duplicate 'extern' declaration specifier
+CHECK-C11: 114:8: warning: duplicate 'extern' declaration specifier
+CHECK-C11-PEDANTIC: 114:8: warning: duplicate 'extern' declaration specifier
+CHECK-C17: 114:8: warning: duplicate 'extern' declaration specifier
+CHECK-C17-PEDANTIC: 114:8: warning: duplicate 'extern' declaration specifier
+
+CHECK-GNU89: 114:8: warning: duplicate 'extern' declaration specifier
+CHECK-GNU89-PEDANTIC: 114:8: warning: duplicate 'extern' declaration specifier
+CHECK-GNU99: 114:8: warning: duplicate 'extern' declaration specifier
+CHECK-GNU99-PEDANTIC: 114:8: warning: duplicate 'extern' declaration specifier
+CHECK-GNU11: 114:8: warning: duplicate 'extern' declaration specifier
+CHECK-GNU11-PEDANTIC: 114:8: warning: duplicate 'extern' declaration specifier
+CHECK-GNU17: 114:8: warning: duplicate 'extern' declaration specifier
+CHECK-GNU17-PEDANTIC: 114:8: warning: duplicate 'extern' declaration specifier
+*/
+
+void pr8264_4() {
+  register register int x;
+}
+/*
+CHECK-C89: 136:12: warning: duplicate 'register' declaration specifier
+CHECK-C89-PEDANTIC: 136:12: warning: duplicate 'register' declaration specifier
+CHECK-C99: 136:12: warning: duplicate 'register' declaration specifier
+CHECK-C99-PEDANTIC: 136:12: warning: duplicate 'register' declaration specifier
+CHECK-C11: 136:12: warning: duplicate 'register' declaration specifier
+CHECK-C11-PEDANTIC: 136:12: warning: duplicate 'register' declaration specifier
+CHECK-C17: 136:12: warning: duplicate 'register' declaration specifier
+CHECK-C17-PEDANTIC: 136:12: warning: duplicate 'register' declaration specifier
+
+CHECK-GNU89: 136:12: warning: duplicate 'register' declaration specifier
+CHECK-GNU89-PEDANTIC: 136:12: warning: duplicate 'register' declaration specifier
+CHECK-GNU99: 136:12: warning: duplicate 'register' declaration specifier
+CHECK-GNU99-PEDANTIC: 136:12: warning: duplicate 'register' declaration specifier
+CHECK-GNU11: 136:12: warning: duplicate 'register' declaration specifier
+CHECK-GNU11-PEDANTIC: 136:12: warning: duplicate 'register' declaration specifier
+CHECK-GNU17: 136:12: warning: duplicate 'register' declaration specifier
+CHECK-GNU17-PEDANTIC: 136:12: warning: duplicate 'register' declaration specifier
+*/
+
+inline inline void pr8264_5() {}
+/*
+CHECK-C89-NOT: 158:8: warning: duplicate 'inline' declaration specifier
+CHECK-C89-PEDANTIC-NOT: 158:8: warning: duplicate 'inline' declaration specifier
+CHECK-C99: 158:8: warning: duplicate 'inline' declaration specifier
+CHECK-C99-PEDANTIC: 158:8: warning: duplicate 'inline' declaration specifier
+CHECK-C11: 158:8: warning: duplicate 'inline' declaration specifier
+CHECK-C11-PEDANTIC: 158:8: warning: duplicate 'inline' declaration specifier
+CHECK-C17: 158:8: warning: duplicate 'inline' declaration specifier
+CHECK-C17-PEDANTIC: 158:8: warning: duplicate 'inline' declaration specifier
+
+CHECK-GNU89: 158:8: warning: duplicate 'inline' declaration specifier
+CHECK-GNU89-PEDANTIC: 158:8: warning: duplicate 'inline' declaration specifier
+CHECK-GNU99: 158:8: warning: duplicate 'inline' declaration specifier
+CHECK-GNU99-PEDANTIC: 158:8: warning: duplicate 'inline' declaration specifier
+CHECK-GNU11: 158:8: warning: duplicate 'inline' declaration specifier
+CHECK-GNU11-PEDANTIC: 158:8: warning: duplicate 'inline' declaration specifier
+CHECK-GNU17: 158:8: warning: duplicate 'inline' declaration specifier
+CHECK-GNU17-PEDANTIC: 158:8: warning: duplicate 'inline' declaration specifier
+*/
+
+_Noreturn _Noreturn void pr8264_6() {}
+/*
+CHECK-C89: 179:11: warning: duplicate '_Noreturn' declaration specifier
+CHECK-C89-PEDANTIC: 179:11: warning: duplicate '_Noreturn' declaration specifier
+CHECK-C99: 179:11: warning: duplicate '_Noreturn' declaration specifier
+CHECK-C99-PEDANTIC: 179:11: warning: duplicate '_Noreturn' declaration specifier
+CHECK-C11: 179:11: warning: duplicate '_Noreturn' declaration specifier
+CHECK-C11-PEDANTIC: 179:11: warning: duplicate '_Noreturn' declaration specifier
+CHECK-C17: 179:11: warning: duplicate '_Noreturn' declaration specifier
+CHECK-C17-PEDANTIC: 179:11: warning: duplicate '_Noreturn' declaration specifier
+
+CHECK-GNU89: 179:11: warning: duplicate '_Noreturn' declaration specifier
+CHECK-GNU89-PEDANTIC: 179:11: warning: duplicate '_Noreturn' declaration specifier
+CHECK-GNU99: 179:11: warning: duplicate '_Noreturn' declaration specifier
+CHECK-GNU99-PEDANTIC: 179:11: warning: duplicate '_Noreturn' declaration specifier
+CHECK-GNU11: 179:11: warning: duplicate '_Noreturn' declaration specifier
+CHECK-GNU11-PEDANTIC: 179:11: warning: duplicate '_Noreturn' declaration specifier
+CHECK-GNU17: 179:11: warning: duplicate '_Noreturn' declaration specifier
+CHECK-GNU17-PEDANTIC: 179:11: warning: duplicate '_Noreturn' declaration specifier
+*/
+
+typedef _Atomic _Atomic _Atomic(int) atomic_int;
+/*
+CHECK-C89-NOT: 200:17: warning: duplicate '_Atomic' declaration specifier
+CHECK-C89-PEDANTIC: 200:17: warning: duplicate '_Atomic' declaration specifier
+          ^ NOTE: special case
+CHECK-C99-NOT: 200:17: warning: duplicate '_Atomic' declaration specifier
+CHECK-C99-PEDANTIC-NOT: 200:17: warning: duplicate '_Atomic' declaration specifier
+CHECK-C11-NOT: 200:17: warning: duplicate '_Atomic' declaration specifier
+CHECK-C11-PEDANTIC-NOT: 200:17: warning: duplicate '_Atomic' declaration specifier
+CHECK-C17-NOT: 200:17: warning: duplicate '_Atomic' declaration specifier
+CHECK-C17-PEDANTIC-NOT: 200:17: warning: duplicate '_Atomic' declaration specifier
+
+CHECK-GNU89-NOT: 200:17: warning: duplicate '_Atomic' declaration specifier
+CHECK-GNU89-PEDANTIC: 200:17: warning: duplicate '_Atomic' declaration specifier
+            ^ NOTE: special case
+CHECK-GNU99-NOT: 200:17: warning: duplicate '_Atomic' declaration specifier
+CHECK-GNU99-PEDANTIC-NOT: 200:17: warning: duplicate '_Atomic' declaration specifier
+CHECK-GNU11-NOT: 200:17: warning: duplicate '_Atomic' declaration specifier
+CHECK-GNU11-PEDANTIC-NOT: 200:17: warning: duplicate '_Atomic' declaration specifier
+CHECK-GNU17-NOT: 200:17: warning: duplicate '_Atomic' declaration specifier
+CHECK-GNU17-PEDANTIC-NOT: 200:17: warning: duplicate '_Atomic' declaration specifier
+*/
+
+char * restrict restrict pr8264_7;
+/*
+CHECK-C89-NOT: 223:17: warning: duplicate 'restrict' declaration specifier
+CHECK-C89-PEDANTIC-NOT: 223:17: warning: duplicate 'restrict' declaration specifier
+CHECK-C99-NOT: 223:17: warning: duplicate 'restrict' declaration specifier
+CHECK-C99-PEDANTIC-NOT: 223:17: warning: duplicate 'restrict' declaration specifier
+CHECK-C11-NOT: 223:17: warning: duplicate 'restrict' declaration specifier
+CHECK-C11-PEDANTIC-NOT: 223:17: warning: duplicate 'restrict' declaration specifier
+CHECK-C17-NOT: 223:17: warning: duplicate 'restrict' declaration specifier
+CHECK-C17-PEDANTIC-NOT: 223:17: warning: duplicate 'restrict' declaration specifier
+
+CHECK-GNU89-NOT: 223:17: warning: duplicate 'restrict' declaration specifier
+CHECK-GNU89-PEDANTIC-NOT: 223:17: warning: duplicate 'restrict' declaration specifier
+CHECK-GNU99-NOT: 223:17: warning: duplicate 'restrict' declaration specifier
+CHECK-GNU99-PEDANTIC-NOT: 223:17: warning: duplicate 'restrict' declaration specifier
+CHECK-GNU11-NOT: 223:17: warning: duplicate 'restrict' declaration specifier
+CHECK-GNU11-PEDANTIC-NOT: 223:17: warning: duplicate 'restrict' declaration specifier
+CHECK-GNU17-NOT: 223:17: warning: duplicate 'restrict' declaration specifier
+CHECK-GNU17-PEDANTIC-NOT: 223:17: warning: duplicate 'restrict' declaration specifier
+*/