diff --git a/clang/lib/Lex/PPLexerChange.cpp b/clang/lib/Lex/PPLexerChange.cpp index 1193c3ce4ecd..1f970a4450de 100644 --- a/clang/lib/Lex/PPLexerChange.cpp +++ b/clang/lib/Lex/PPLexerChange.cpp @@ -264,19 +264,32 @@ bool Preprocessor::HandleEndOfFile(Token &Result, bool isEndOfMacro) { if (!ControllingMacro->hasMacroDefinition() && DefinedMacro != ControllingMacro && HeaderInfo.FirstTimeLexingFile(FE)) { - // Emit a warning for a bad header guard. - Diag(CurPPLexer->MIOpt.GetMacroLocation(), - diag::warn_header_guard) - << CurPPLexer->MIOpt.GetMacroLocation() - << ControllingMacro; - Diag(CurPPLexer->MIOpt.GetDefinedLocation(), - diag::note_header_guard) - << CurPPLexer->MIOpt.GetDefinedLocation() - << DefinedMacro - << ControllingMacro - << FixItHint::CreateReplacement( - CurPPLexer->MIOpt.GetDefinedLocation(), - ControllingMacro->getName()); + + // If the edit distance between the two macros is more than 50%, + // DefinedMacro may not be header guard, or can be header guard of + // another header file. Therefore, it maybe defining something + // completely different. This can be observed in the wild when + // handling feature macros or header guards in different files. + + const StringRef ControllingMacroName = ControllingMacro->getName(); + const StringRef DefinedMacroName = DefinedMacro->getName(); + const size_t MaxHalfLength = std::max(ControllingMacroName.size(), + DefinedMacroName.size()) / 2; + const unsigned ED = ControllingMacroName.edit_distance( + DefinedMacroName, true, MaxHalfLength); + if (ED <= MaxHalfLength) { + // Emit a warning for a bad header guard. + Diag(CurPPLexer->MIOpt.GetMacroLocation(), + diag::warn_header_guard) + << CurPPLexer->MIOpt.GetMacroLocation() << ControllingMacro; + Diag(CurPPLexer->MIOpt.GetDefinedLocation(), + diag::note_header_guard) + << CurPPLexer->MIOpt.GetDefinedLocation() << DefinedMacro + << ControllingMacro + << FixItHint::CreateReplacement( + CurPPLexer->MIOpt.GetDefinedLocation(), + ControllingMacro->getName()); + } } } } diff --git a/clang/test/Lexer/Inputs/unlikely-to-be-header-guard.h b/clang/test/Lexer/Inputs/unlikely-to-be-header-guard.h new file mode 100644 index 000000000000..098fc3cb7a1a --- /dev/null +++ b/clang/test/Lexer/Inputs/unlikely-to-be-header-guard.h @@ -0,0 +1,5 @@ +#ifndef data_rep_h +#define use_alternate_data_rep +/* #include "data_rep.h" */ +#endif + diff --git a/clang/test/Lexer/header.cpp b/clang/test/Lexer/header.cpp index 047240ac0f7a..f02b1e69db43 100644 --- a/clang/test/Lexer/header.cpp +++ b/clang/test/Lexer/header.cpp @@ -6,6 +6,7 @@ #include "Inputs/different-define.h" #include "Inputs/out-of-order-define.h" #include "Inputs/tokens-between-ifndef-and-define.h" +#include "Inputs/unlikely-to-be-header-guard.h" #include "Inputs/bad-header-guard.h" // CHECK: In file included from {{.*}}header.cpp:{{[0-9]*}}: