[cfe-dev] Thoughts on subexpression matching
edwin.vane at intel.com
Mon Mar 4 11:09:20 PST 2013
Could you point at an example for #2?
From: Manuel Klimek [mailto:klimek at google.com]
Sent: Monday, March 04, 2013 1:59 PM
To: Vane, Edwin; clang-dev Developers
Subject: Re: Thoughts on subexpression matching
On Mon, Mar 4, 2013 at 6:09 PM, Vane, Edwin <edwin.vane at intel.com<mailto:edwin.vane at intel.com>> wrote:
I've seen a need for subexpression matching arise several times in working with matchers. Often it comes in the form of: match this expression of this "thing over here" is the same as "that thing over there". In the use-auto transform for example, the only thing that's not in a matcher is the test that the vardecl type is the same as the initializer. Have you had any thoughts about this feature before?
There are two ways to do this:
1. be able to express references in the matcher language; this is hard, but if somebody wanted to give it a go, I'd be excited ;)
2. just do a submatch in the callback - that's what match() on the ASTMatchFinder and the freestanding match() functions around the ASTMatchFinder are for; this is what we're currently using - thanks to the caching of the parent map in the ASTContext this is now also computationally acceptable :)
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the cfe-dev