叮当 ASTMatcher 没有从宏扩展

Question

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

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

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

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

在预处理期间，宏被视为纯文本替换，这发生在所有匹配开始之前。快速浏览一下数学.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。

希望对您有所帮助。