Skip to content

Commit

Permalink
Allow modernize-use-using to apply to enumerations as well.
Browse files Browse the repository at this point in the history
This addresses PR44528.
  • Loading branch information
f00kat authored and AaronBallman committed Feb 3, 2020
1 parent e0ea706 commit 6423ae4
Show file tree
Hide file tree
Showing 4 changed files with 33 additions and 12 deletions.
24 changes: 14 additions & 10 deletions clang-tools-extra/clang-tidy/modernize/UseUsingCheck.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -25,18 +25,17 @@ void UseUsingCheck::registerMatchers(MatchFinder *Finder) {
return;
Finder->addMatcher(typedefDecl(unless(isInstantiated())).bind("typedef"),
this);
// This matcher used to find structs defined in source code within typedefs.
// This matcher used to find tag declarations in source code within typedefs.
// They appear in the AST just *prior* to the typedefs.
Finder->addMatcher(cxxRecordDecl(unless(isImplicit())).bind("struct"), this);
Finder->addMatcher(tagDecl(unless(isImplicit())).bind("tagdecl"), this);
}

void UseUsingCheck::check(const MatchFinder::MatchResult &Result) {
// Match CXXRecordDecl only to store the range of the last non-implicit full
// declaration, to later check whether it's within the typdef itself.
const auto *MatchedCxxRecordDecl =
Result.Nodes.getNodeAs<CXXRecordDecl>("struct");
if (MatchedCxxRecordDecl) {
LastCxxDeclRange = MatchedCxxRecordDecl->getSourceRange();
const auto *MatchedTagDecl = Result.Nodes.getNodeAs<TagDecl>("tagdecl");
if (MatchedTagDecl) {
LastTagDeclRange = MatchedTagDecl->getSourceRange();
return;
}

Expand Down Expand Up @@ -70,9 +69,13 @@ void UseUsingCheck::check(const MatchFinder::MatchResult &Result) {
// consecutive TypedefDecl nodes whose SourceRanges overlap. Each range starts
// at the "typedef" and then continues *across* previous definitions through
// the end of the current TypedefDecl definition.
// But also we need to check that the ranges belong to the same file because
// different files may contain overlapping ranges.
std::string Using = "using ";
if (ReplaceRange.getBegin().isMacroID() ||
ReplaceRange.getBegin() >= LastReplacementEnd) {
(Result.SourceManager->getFileID(ReplaceRange.getBegin()) !=
Result.SourceManager->getFileID(LastReplacementEnd)) ||
(ReplaceRange.getBegin() >= LastReplacementEnd)) {
// This is the first (and possibly the only) TypedefDecl in a typedef. Save
// Type and Name in case we find subsequent TypedefDecl's in this typedef.
FirstTypedefType = Type;
Expand All @@ -95,11 +98,12 @@ void UseUsingCheck::check(const MatchFinder::MatchResult &Result) {

auto Diag = diag(ReplaceRange.getBegin(), UseUsingWarning);

// If typedef contains a full struct/class declaration, extract its full text.
if (LastCxxDeclRange.isValid() && ReplaceRange.fullyContains(LastCxxDeclRange)) {
// If typedef contains a full tag declaration, extract its full text.
if (LastTagDeclRange.isValid() &&
ReplaceRange.fullyContains(LastTagDeclRange)) {
bool Invalid;
Type = std::string(
Lexer::getSourceText(CharSourceRange::getTokenRange(LastCxxDeclRange),
Lexer::getSourceText(CharSourceRange::getTokenRange(LastTagDeclRange),
*Result.SourceManager, getLangOpts(), &Invalid));
if (Invalid)
return;
Expand Down
2 changes: 1 addition & 1 deletion clang-tools-extra/clang-tidy/modernize/UseUsingCheck.h
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,7 @@ class UseUsingCheck : public ClangTidyCheck {

const bool IgnoreMacros;
SourceLocation LastReplacementEnd;
SourceRange LastCxxDeclRange;
SourceRange LastTagDeclRange;
std::string FirstTypedefType;
std::string FirstTypedefName;

Expand Down
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
#ifndef MODERNIZE_USE_USING_H
#define MODERNIZE_USE_USING_H

typedef int mytype;

#endif
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// RUN: %check_clang_tidy %s modernize-use-using %t
// RUN: %check_clang_tidy %s modernize-use-using %t -- -- -I %S/Inputs/modernize-use-using/

typedef int Type;
// CHECK-MESSAGES: :[[@LINE-1]]:1: warning: use 'using' instead of 'typedef' [modernize-use-using]
Expand Down Expand Up @@ -267,3 +267,14 @@ typedef struct { int a; } R_t, *R_p;
// CHECK-MESSAGES: :[[@LINE-2]]:30: warning: use 'using' instead of 'typedef'
// CHECK-FIXES: using R_t = struct { int a; };
// CHECK-FIXES-NEXT: using R_p = R_t*;

typedef enum { ea1, eb1 } EnumT1;
// CHECK-MESSAGES: :[[@LINE-1]]:1: warning: use 'using' instead of 'typedef'
// CHECK-FIXES: using EnumT1 = enum { ea1, eb1 };

#include "modernize-use-using.h"

typedef enum { ea2, eb2 } EnumT2_CheckTypedefImpactFromAnotherFile;
// CHECK-MESSAGES: :[[@LINE-1]]:1: warning: use 'using' instead of 'typedef'
// CHECK-FIXES: using EnumT2_CheckTypedefImpactFromAnotherFile = enum { ea2, eb2 };

0 comments on commit 6423ae4

Please sign in to comment.