使用 Clang 的 ASTvisitor 匹配 <= BinaryOperator

Question

我有以下AST，我想使用 BinaryOperator 访问者访问<=：

| |   `-ForStmt 0xfcb1fd8 <line:7:2, line:14:2>
| |     |-DeclStmt 0xfcb1680 <line:7:7, col:20>
| |     | `-VarDecl 0xfcb15e8 <col:7, col:19> col:17 used i 'uint16_t':'unsigned short' cinit
| |     |   `-ImplicitCastExpr 0xfcb1668 <col:19> 'uint16_t':'unsigned short' <IntegralCast>
| |     |     `-IntegerLiteral 0xfcb1648 <col:19> 'int' 0
| |     |-BinaryOperator 0xfcb1a28 <col:22, col:55> 'bool' '<='
| |     | |-ImplicitCastExpr 0xfcb19f8 <col:22> 'int' <IntegralCast>

BinaryOperator 继承自 Expr::BinaryOperator，我不知道如何从 Expr *E 向下遍历到 BinaryOperator *BO：

static bool vectorLoopConditionVisitor(Sema &S, BinaryOperator *BO){

    if (!BO){
    // error
      }
   if (!BO->isAssignmentOp() && //need a condition to match with "<=" ){  
      // error
    }


  return false;
}

 static bool vectorLoopVisitor(Sema &S, Stmt *St, uint32_t Depth) {
    ForStmt *Fst = dyn_cast<ForStmt>(St);

    // ...
    vectorLoopConditionVisitor(S, dyn_cast<BinaryOperator>(Fst->getCond())); 
    // this is most certainly wrong as it returns a null pointer and segfault
    //...
    vectorLoopBodyVisitor(S, Fst->getBody(), Depth);

    return false;
  }

Answer 1

您能否再扩展一下代码？如何构造访问者，如何遍历代码？

以下访问者应该为您完成这项工作：

class BinaryVisitor : public clang::RecursiveASTVisitor<BinaryVisitor> {
public:
  bool VisitBinaryOperator(clang::BinaryOperator *binaryOperator) {
    if (binaryOperator->getOpcode() != clang::BinaryOperator::Opcode::BO_LE) {
      return true;
    }

    // Handle the '<=' matching here

    return true;
  }
};

/// ...
BinaryVisitor visitor;
visitor.TraverseDecl(someDecl);

此访问者将检查每个BinaryOperaror，并将跳过任何不“小于”(clang::BinaryOperator::Opcode::BO_LE) 的内容。