Question

我是clang-tidy的新手，以下是练习，因此我可以转向更复杂的匹配器和工具。

让我们说

typedef int my_type;
void foo()
{
       int x = 0;//this should be identified as need to be fixed
       my_type z = 0;
       if( x == z){
               //match this case
       }

}

我的目标是识别与“ my_type”进行比较的变量，以便通过将其类型更改为my_type来修正其声明。

现在我正在尝试执行以下操作

     auto my_type_decl = varDecl(hasType(asString("my_type")));
     auto my_type_decl_exp= declRefExpr(to(my_type_decl));
     auto binop = binaryOperator(has(implicitCastExpr(has(my_type_decl_exp))));
     auto other_decl_exp = declRefExpr(hasAncestor(binop), unless(to(my_type_decl)));
     //get ancestor functionDecl
     //get descendant varDecls that match the other_decl_exp

这里的问题是我无视上下文。做这样的事情的正确方法是什么？

Answer 1

您可以将节点匹配器绑定到名称，然后从匹配结果中检索那些节点。

例如：

// Match binary operators
binaryOperator(
    // that are equality comparisons,
    hasOperatorName("=="),
    // where one side refers to a variable
    hasEitherOperand(ignoringImpCasts(declRefExpr(to(varDecl(
        // whose type is a typedef or type alias
        hasType(typedefNameDecl(
            // named "::my_type"
            hasName("::my_type"),
            // that aliases any type, which is bound to the name "aliased",
            hasType(type().bind("aliased"))))))))),
    // and where one side refers to a variable
    hasEitherOperand(ignoringImpCasts(declRefExpr(to(varDecl(
        // whose type is the same as the type bound to "aliased",
        // which is bound to the name "declToChange".
        hasType(type(equalsBoundNode("aliased")))).bind("declToChange"))))));

然后：

const auto *declToChange = result.Nodes.getNodeAs<VarDecl>("declToChange");

请注意，这与相等比较匹配，因此declToChange在多次匹配中可能指向相同的VarDecl。

在下面的示例中，此匹配器将产生两个与declToChange绑定到x的匹配，而没有一个与declToChange绑定到y的匹配：

typedef int my_type;

void foo() {
  int x = 0;
  int y = 0;
  my_type z = 0;

  if (x == z) {
  }

  if (z == x) {
  }
}

与不同变量类型相比变量的Clang AST匹配器

1 个答案: