// RUN: %clang_cc1 -verify=expected,both -std=c2y -Wall -pedantic %s
// RUN: %clang_cc1 -verify=clang,both -Wall -pedantic %s

/* WG14 N3342: Yes
 * Slay Some Earthly Demons IV
 *
 * Qualified function types are now implementation-defined instead of
 * undefined. Clang strips the qualifiers.
 */

typedef int f(void);

const f one;      /* expected-warning {{'const' qualifier on function type 'f' (aka 'int (void)') has no effect}}
                     clang-warning {{'const' qualifier on function type 'f' (aka 'int (void)') has no effect and is a Clang extension}}
                   */
volatile f two;   /* expected-warning {{'volatile' qualifier on function type 'f' (aka 'int (void)') has no effect}}
                     clang-warning {{'volatile' qualifier on function type 'f' (aka 'int (void)') has no effect and is a Clang extension}}
                   */

const volatile f three; /* expected-warning {{'const' qualifier on function type 'f' (aka 'int (void)') has no effect}}
                           clang-warning {{'const' qualifier on function type 'f' (aka 'int (void)') has no effect and is a Clang extension}}
                           expected-warning {{'volatile' qualifier on function type 'f' (aka 'int (void)') has no effect}}
                           clang-warning {{'volatile' qualifier on function type 'f' (aka 'int (void)') has no effect and is a Clang extension}}
                         */

#if __STDC_VERSION__ >= 201112L
// Atomic types have an explicit constraint making it ill-formed.
_Atomic f four;   // both-error {{_Atomic cannot be applied to function type 'f' (aka 'int (void)')}}
#endif

// There's no point to testing 'restrict' because that requires a pointer type.