使用libclang在for循环中找到条件评估

Question

我正在使用clang（通过Python绑定通过libclang）来组合一个代码审查机器人。 我一直在假设所有FOR_STMT游标将有4个子代； INIT，EVAL，INC和BODY ..

for( INIT; EVAL; INC )
    BODY;

这意味着我可以使用python中的一些东西来检查评估表达式的内容：

forLoopComponents = [ c for c in forCursor.get_children() ]
assert( len( forLoopComponents ) == 4 )

initExpressionCursor = forLoopComponents[ 0 ]
evalExpressionCursor = forLoopComponents[ 1 ]
incExpressionCursor = forLoopComponents[ 2 ]
bodyExpressionCursor = forLoopComponents[ 3 ]

errorIfContainsAssignment( evalExpressionCursor ) # example code style rule

这种方法一开始似乎不太好，但是由于libclang以及特别是Python绑定，我只是接受它是因为它比较稀疏。 但是我最近注意到这样的循环：

for( ; a < 4; a-- )
    ;

将只有3个孩子-评估现在将是第一个，而不是第二个。 我一直以为libclang只会为FOR_STMT的任何未使用部分返回NULL_STMT……显然，我错了。

解析FOR_STMT的正确方法是什么？ 我在libclang中找不到任何有用的东西。

更新：翻阅libclang源代码，看起来这4个组件是使用visitor对象从clang :: ForStmt类中愚蠢添加的。 ForStmt对象应该返回空语句对象，但是某个地方的某层似乎正在将这些从访问的节点向量中剥离出来...？

Answer 1

同样，在这里，作为解决方法，我用虚拟int foo = 0语句替换了第一个空语句。 我可以想象一个解决方案，该解决方案使用Cursor的get_tokens来匹配语句的各个部分。 函数get_tokens可以在铛声不够的情况下提供帮助。