Question

我正在做一个clang ASTMatcher来找到我的源代码中定义了isnan的位置。我试图理解为什么有三个匹配，尽管我已经限制只匹配主文件。请在下面找到示例源代码：

#include <math.h>
int main()
{
    if(isnan(0.0)){     
    }
}

当我进行clang-query匹配时，我得到以下输出：

clang-query> match declRefExpr(isExpansionInMainFile())

Match #1:

/home/clang-llvm/code/test.cpp:6:5: note: "root" binds here
        if(isnan(0.0)){         
           ^~~~~~~~~~
/usr/include/math.h:299:9: note: expanded from macro 'isnan'
      ? __isnanf (x)                                                          \
        ^~~~~~~~

Match #2:

/home/clang-llvm/code/test.cpp:6:5: note: "root" binds here
        if(isnan(0.0)){         
           ^~~~~~~~~~
/usr/include/math.h:301:9: note: expanded from macro 'isnan'
      ? __isnan (x) : __isnanl (x))
        ^~~~~~~

Match #3:

/home/clang-llvm/code/test.cpp:6:5: note: "root" binds here
        if(isnan(0.0)){         
           ^~~~~~~~~~
/usr/include/math.h:301:23: note: expanded from macro 'isnan'
      ? __isnan (x) : __isnanl (x))
                      ^~~~~~~~
3 matches.

无论如何只限制源代码而不是宏来匹配？

我将不胜感激。

Answer 1

宏在预处理期间被视为纯文本替换，在所有匹配开始之前发生。快速进入math.h会给我这个：

#  define isnan(x) \                                                   
     (sizeof (x) == sizeof (float)                \              
      ? __isnanf (x)                    \
      : sizeof (x) == sizeof (double)               \
      ? __isnan (x) : __isnanl (x))

这解释了为什么你得到三个匹配的结果。在运行AST匹配器之前，它们已经在您的主要功能中。

获取单个位置，具体取决于您的源代码。在这种特殊情况下，您可以通过将节点匹配器更改为条件运算符来实现。

clang-query> match conditionalOperator(hasFalseExpression(conditionalOperator()), isExpansionInMainFile())

Match #1:
~/test.cpp:4:8: note: "root" binds here
if(isnan(0.0)){     
   ^~~~~~~~~~
/usr/include/math.h:254:7: note: expanded from macro 'isnan'
 (sizeof (x) == sizeof (float)                                            
\
  ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1 match.

所以我试图匹配宏被替换后的expr。

希望它有所帮助。

clang ASTMatcher没有扩展宏观

1 个答案: