844e9534c6
D144654 made it so that we warn on any defining or undefining of builtin macros. However the C and C++ standards only forbid the defining or undefining of macros defined in the language standard itself, but clang defines more macros than those and warning on those may not be helpful. Resolve this by only warning if the builtin macro name is the name of a macro defined by the language. This is done in a way that removes some of the existing checks, as those were made redundant by restricting the warning in this way. Differential Revision: https://reviews.llvm.org/D151741
77 lines
2.1 KiB
C
77 lines
2.1 KiB
C
// RUN: %clang_cc1 -fsyntax-only -pedantic -verify %s
|
|
|
|
#define for 0 // expected-warning {{keyword is hidden by macro definition}}
|
|
#define final 1
|
|
#define __HAVE_X 0
|
|
#define __cplusplus
|
|
#define _HAVE_X 0
|
|
#define X__Y
|
|
#define __STDC__ 1 // expected-warning {{redefining builtin macro}}
|
|
#define __clang__ 1
|
|
|
|
#undef for
|
|
#undef final
|
|
#undef __HAVE_X
|
|
#undef __cplusplus
|
|
#undef _HAVE_X
|
|
#undef X__Y
|
|
#undef __STDC_HOSTED__ // expected-warning {{undefining builtin macro}}
|
|
#undef __INT32_TYPE__
|
|
#undef __UINT32_TYPE__
|
|
#undef __UINTPTR_TYPE__
|
|
#undef __UINT64_TYPE__
|
|
#undef __INT64_TYPE__
|
|
#undef __OPTIMIZE__
|
|
|
|
// allowlisted definitions
|
|
#define while while
|
|
#define const
|
|
#define static
|
|
#define extern
|
|
#define inline
|
|
|
|
#undef while
|
|
#undef const
|
|
#undef static
|
|
#undef extern
|
|
#undef inline
|
|
|
|
#define inline __inline
|
|
#undef inline
|
|
#define inline __inline__
|
|
#undef inline
|
|
|
|
#define inline inline__ // expected-warning {{keyword is hidden by macro definition}}
|
|
#undef inline
|
|
#define extern __inline // expected-warning {{keyword is hidden by macro definition}}
|
|
#undef extern
|
|
#define extern __extern // expected-warning {{keyword is hidden by macro definition}}
|
|
#undef extern
|
|
#define extern __extern__ // expected-warning {{keyword is hidden by macro definition}}
|
|
#undef extern
|
|
|
|
#define inline _inline // expected-warning {{keyword is hidden by macro definition}}
|
|
#undef inline
|
|
#define volatile // expected-warning {{keyword is hidden by macro definition}}
|
|
#undef volatile
|
|
|
|
#pragma clang diagnostic warning "-Wreserved-macro-identifier"
|
|
|
|
#define switch if // expected-warning {{keyword is hidden by macro definition}}
|
|
#define final 1
|
|
#define __clusplus // expected-warning {{macro name is a reserved identifier}}
|
|
#define __HAVE_X 0 // expected-warning {{macro name is a reserved identifier}}
|
|
#define _HAVE_X 0 // expected-warning {{macro name is a reserved identifier}}
|
|
#define X__Y
|
|
|
|
#undef switch
|
|
#undef final
|
|
#undef __cplusplus // expected-warning {{macro name is a reserved identifier}}
|
|
#undef _HAVE_X // expected-warning {{macro name is a reserved identifier}}
|
|
#undef X__Y
|
|
|
|
int x;
|
|
|
|
#define _GNU_SOURCE // no-warning
|
|
#define __STDC_FORMAT_MACROS // no-warning
|