"expanding this definition of %0">;
def note_pp_ambiguous_macro_other : Note<
"other definition of %0">;
-def warn_pp_macro_hides_keyword : Warning<
- "keyword is hidden by macro definition">,
- InGroup<KeywordAsMacro>;
-def warn_pp_macro_is_reserved_id : Warning<
- "macro name is a reserved identifier">, DefaultIgnore,
- InGroup<ReservedIdAsMacro>;
+def warn_pp_macro_hides_keyword : Extension<
+ "keyword is hidden by macro definition">, InGroup<KeywordAsMacro>;
def pp_invalid_string_literal : Warning<
"invalid string literal, ignoring final '\\'">;
} while (Tmp.isNot(tok::eod));
}
-/// \brief Enumerates possible cases of #define/#undef a reserved identifier.
-enum MacroDiag {
- MD_NoWarn, //> Not a reserved identifier
- MD_KeywordDef, //> Macro hides keyword, enabled by default
- MD_ReservedMacro //> #define of #undef reserved id, disabled by default
-};
-
-/// \brief Checks if the specified identifier is reserved in the specified
-/// language.
-/// This function does not check if the identifier is a keyword.
-static bool isReservedId(StringRef Text, const LangOptions &Lang) {
- // C++ [macro.names], C11 7.1.3:
- // All identifiers that begin with an underscore and either an uppercase
- // letter or another underscore are always reserved for any use.
- if (Text.size() >= 2 && Text[0] == '_' &&
- (isUppercase(Text[1]) || Text[1] == '_'))
- return true;
- // C++ [global.names]
- // Each name that contains a double underscore ... is reserved to the
- // implementation for any use.
- if (Lang.CPlusPlus) {
- if (Text.find("__") != StringRef::npos)
- return true;
- }
- return false;
-}
-
-static MacroDiag shouldWarnOnMacroDef(Preprocessor &PP, IdentifierInfo *II) {
+static bool shouldWarnOnMacroDef(Preprocessor &PP, IdentifierInfo *II) {
const LangOptions &Lang = PP.getLangOpts();
StringRef Text = II->getName();
- if (isReservedId(Text, Lang))
- return MD_ReservedMacro;
// Do not warn on keyword undef. It is generally harmless and widely used.
if (II->isKeyword(Lang))
- return MD_KeywordDef;
+ return true;
if (Lang.CPlusPlus && (Text.equals("override") || Text.equals("final")))
- return MD_KeywordDef;
- return MD_NoWarn;
-}
-
-static MacroDiag shouldWarnOnMacroUndef(Preprocessor &PP, IdentifierInfo *II) {
- const LangOptions &Lang = PP.getLangOpts();
- StringRef Text = II->getName();
- // Do not warn on keyword undef. It is generally harmless and widely used.
- if (isReservedId(Text, Lang))
- return MD_ReservedMacro;
- return MD_NoWarn;
+ return true;
+ return false;
}
bool Preprocessor::CheckMacroName(Token &MacroNameTok, MacroUse isDefineUndef) {
SourceLocation MacroNameLoc = MacroNameTok.getLocation();
if (!SourceMgr.isInSystemHeader(MacroNameLoc) &&
(strcmp(SourceMgr.getBufferName(MacroNameLoc), "<built-in>") != 0)) {
- MacroDiag D = MD_NoWarn;
- if (isDefineUndef == MU_Define)
- D = shouldWarnOnMacroDef(*this, II);
- else if (isDefineUndef == MU_Undef)
- D = shouldWarnOnMacroUndef(*this, II);
- if (D == MD_KeywordDef)
+ if (isDefineUndef == MU_Define && shouldWarnOnMacroDef(*this, II))
Diag(MacroNameTok, diag::warn_pp_macro_hides_keyword);
- if (D == MD_ReservedMacro)
- Diag(MacroNameTok, diag::warn_pp_macro_is_reserved_id);
}
// Okay, we got a good identifier.
// RUN: %clang_cc1 -fsyntax-only %s -verify
+#pragma clang diagnostic warning "-Wkeyword-macro"
+
#define for 0 // expected-warning {{keyword is hidden by macro definition}}
#define final 1 // expected-warning {{keyword is hidden by macro definition}}
#define __HAVE_X 0
#undef _HAVE_X
#undef X__Y
-#pragma clang diagnostic warning "-Wreserved-id-macro"
-
#define switch if // expected-warning {{keyword is hidden by macro definition}}
#define final 1 // expected-warning {{keyword is hidden by macro definition}}
-#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 // expected-warning {{macro name is a reserved identifier}}
+#define __HAVE_X 0
+#define _HAVE_X 0
+#define X__Y
-#undef __cplusplus // expected-warning {{macro name is a reserved identifier}}
-#undef _HAVE_X // expected-warning {{macro name is a reserved identifier}}
-#undef X__Y // expected-warning {{macro name is a reserved identifier}}
+#undef __cplusplus
+#undef _HAVE_X
+#undef X__Y
int x;