<div dir="ltr"><div class="gmail_quote"><div dir="ltr">On Mon, Jun 12, 2017 at 7:54 PM Ben Liblit via cfe-dev <<a href="mailto:cfe-dev@lists.llvm.org">cfe-dev@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Stephan Bergmann <<a href="mailto:sbergman@redhat.com" target="_blank">sbergman@redhat.com</a>> wrote:<br>
> That looks to be by design, cf. DEF_TRAVERSE_STMT(InitListExpr,...) in<br>
> include/clang/AST/RecursiveASTVisitor.h calling into<br>
> TraverseSynOrSemInitListExpr twice (for "syntactic" and "semantic"<br>
> InitListExpr).<br>
<br>
Nutty!  But clearly by design, as you point out.  There seems to be no<br>
way to detect this duplication short of maintaining my own "nodes I have<br>
already seen" set, and no way to prevent double visits short of defining<br>
my own RecursiveASTVisitor.<br>
<br>
> In some of our LibreOffice RecursiveASTVisitor implementations we use<br>
> [...] to traverse only once<br>
<br>
Thank you for this example code, Stephan.  Unfortunately I see no way to<br>
tell the AST Matcher system to use an alternate visitor of this sort.<br>
Am I missing some API that would let me do this?  Or is the recursive<br>
visit outside of my control if I'm using MatchFinder to drive my tool?<br></blockquote><div><br></div><div>Generally, there are many reasons you might visit the same node twice - after all, the AST is not a tree, but a graph :) When you write tools that need to run on multiple TUs, you'll have to do some form of deduplication anyway.</div><div><br></div><div>Generally, use the fact that many nodes have pointer identity (you can deduplicate with a simple set on the pointers).</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
-- Ben<br>
_______________________________________________<br>
cfe-dev mailing list<br>
<a href="mailto:cfe-dev@lists.llvm.org" target="_blank">cfe-dev@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev</a><br>
</blockquote></div></div>