Clang Получение значения инициализации для ParmVarDecl

У меня есть ForStmt, для которого я хотел бы получить привязку цикла, возвращаемую GetBoundFunc(), следующим образом:

void testASTVistor (int N) {
  N = 123;
  for (int i = 0; i <= GetBoundFunc(N); i++ ){
    //do Sth;
  }  
}

AST выглядит примерно так для N:

 -FunctionDecl 0x55d60e61cd48 <line:3:1, line:8:1> line:3:6 testASTVistor 'void (int)'
  |-ParmVarDecl 0x55d60e61cc88 <col:21, col:25> col:25 used N 'int'
  `-CompoundStmt 0x55d60e61d0e8 <col:28, line:8:1>
  ¦ |-BinaryOperator 0x55d60e61ce28 <line:4:3, col:7> 'int' lvalue '='
  ¦ | |-DeclRefExpr 0x55d60e61cde8 <col:3> 'int' lvalue ParmVar 0x55d60e61cc88 'N' 'int'
  ¦ | `-IntegerLiteral 0x55d60e61ce08 <col:7> 'int' 123

Однако мой код ASTRecurvieVisitor продолжает давать сбой сегмента, когда он должен возвращать значение инициализации N:

class BinaryVisitor : public clang::RecursiveASTVisitor<BinaryVisitor> {
public:
  bool VisitBinaryOperator(clang::BinaryOperator *BO) {
  
      if (const CallExpr *RHS = dyn_cast<CallExpr>(BO->getRHS()->IgnoreParenImpCasts())) {
        if (const DeclRefExpr *DRE = dyn_cast_or_null<DeclRefExpr>(RHS->getArg(0))) {
          if (const ParmVarDecl *PVD = dyn_cast<ParmVarDecl>(DRE->getDecl())) {       
            if (const IntegerLiteral *Bound = dyn_cast<IntegerLiteral>(PVD->getInit()->ignoreImpCasts())) {

    return false;
            }
          }
        }
};

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

Также пробовал, evaluateValue() и getEvaluatedValue(), и ни одна из них, похоже, не обошла проблему.


c++ clang llvm semantics visitor
person Amir    schedule 01.10.2020    source источник
comment
N в этом примере является локальной переменной, а не параметром функции, поэтому dyn_cast<ParmVarDecl> вернет nullptr. Кроме того, дамп AST не соответствует примеру кода, и ваш код RecursiveASTVisitor не выглядит так, как будто он компилируется (обратите внимание на DRF и DRE). Можете ли вы скопировать/вставить точный код и тестовый пример, который вы используете?   -  person Richard Smith    schedule 06.10.2020
comment
Мой плохой @RichardSmith. Обновил вопрос.   -  person Amir    schedule 08.10.2020
comment
Вы должны поставить return false; в конце этой функции. Я предполагаю, что segfault возникает из-за неинициализированного возвращаемого значения.   -  person Anonymous1847    schedule 19.10.2020