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

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) {
  }
}