<!DOCTYPE html>
<html>
<head>
<title></title>
</head>
<body><div>Actually, the problem is that you're passing a matcher as argument, while you've defined your matchers to accept FieldDecl (the 3rd argument for the AST_MATCHER_P macro) - but the compiler already told you this.<br></div>
<div> </div>
<div>So I don't really see what you're confused about. For that matter, nor can I really tell what you're trying to do in your matcher expression... What is it that you're trying to express here?</div>
<div> </div>
<div id="sig19426269"><div class="signature">-- <br></div>
<div class="signature"> Gábor Kozár -- ShdNx<br></div>
<div class="signature"> kozargabor@gmail.com<br></div>
<div class="signature"> </div>
</div>
<div> </div>
<div> </div>
<div>On Tue, Sep 24, 2013, at 17:02, Vane, Edwin wrote:<br></div>
<blockquote type="cite"><div><p style="font-family: 'Times New Roman', serif; font-size: 12pt; margin: 0cm 0cm 0.0001pt;"><span class="colour" style="color:rgb(31, 73, 125)"><span class="font" style="font-family:Calibri, sans-serif"><span class="size" style="font-size:11pt">The source of the failure is where you have SameType(recordDecl(…)). You’ll notice in the reference that recordDecl() returns a Matcher<Decl>. So your SameType()
matcher is going to receive a ‘Decl’ as input. You’ll need to explicitly change this into a FieldDecl. I’m afraid I don’t know exactly what you’re trying to match or what IHD is so I can’t tell if there’s a more fundamental error here.</span></span></span><br></p><p style="font-family: 'Times New Roman', serif; font-size: 12pt; margin: 0cm 0cm 0.0001pt;"><a name="_MailEndCompose"><span class="colour" style="color:rgb(31, 73, 125)"><span class="font" style="font-family:Calibri, sans-serif"><span class="size" style="font-size:11pt"></span></span></span></a><br></p><div style="border:none;border-left:solid blue 1.5pt;padding:0cm 0cm 0cm 4.0pt"><div><div style="border:none;border-top:solid #E1E1E1 1.0pt;padding:3.0pt 0cm 0cm 0cm"><p style="font-family: 'Times New Roman', serif; font-size: 12pt; margin: 0cm 0cm 0.0001pt;"><b><span class="font" style="font-family:Calibri, sans-serif"><span class="size" style="font-size:11pt">From:</span></span></b><span class="font" style="font-family:Calibri, sans-serif"><span class="size" style="font-size:11pt"> cfe-dev-bounces@cs.uiuc.edu [mailto:cfe-dev-bounces@cs.uiuc.edu]
<b>On Behalf Of </b>Daniel Quiñones Lopez</span></span><br></p><div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif"><span class="size" style="font-size:11pt">
<b>Sent:</b> Monday, September 23, 2013 11:18 AM</span></span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif"><span class="size" style="font-size:11pt">
<b>To:</b> cfe-dev@cs.uiuc.edu</span></span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif"><span class="size" style="font-size:11pt">
<b>Subject:</b> [cfe-dev] Problem using ast matchers macros</span></span><br></div>
</div>
</div>
<p style="font-family: 'Times New Roman', serif; font-size: 12pt; margin: 0cm 0cm 0.0001pt;"><br></p><div><p style="margin: 0cm 0cm 12pt; font-family: 'Times New Roman', serif; font-size: 12pt;"><span class="font" style="font-family:Calibri, sans-serif">I'm trying to implement an ast matcher for the IHD (hidden variable deletion) operator. For this purpose, i also define two matchers using the ast macros. The
code is as follows:</span><br></p><blockquote style="margin-top:5.0pt;margin-bottom:5.0pt"><p style="margin: 0cm 0cm 12pt; font-family: 'Times New Roman', serif; font-size: 12pt;"><span class="font" style="font-family:Calibri, sans-serif">namespace clang{</span><br></p><div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
namespace ast_matchers{</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
using namespace clang::ast_matchers::internal;</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
// Checks that two FieldDecl nodes have the same type</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
AST_MATCHER_P(FieldDecl, SameType, FieldDecl, f)</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
{</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
return Node.getType() == f.getType();</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
}</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
// Checks that two FieldDecl nodes have the same name</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
AST_MATCHER_P(FieldDecl, SameName, FieldDecl, f)</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
{</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
return Node.getName() == f.getName();</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
}</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
}</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
}</span><br></div>
</blockquote><p style="margin: 0cm 0cm 12pt; font-family: 'Times New Roman', serif; font-size: 12pt;"><span class="font" style="font-family:Calibri, sans-serif">And the code for the IHD operator is:</span><br></p><blockquote style="margin-top:5.0pt;margin-bottom:5.0pt"><p style="margin: 0cm 0cm 12pt; font-family: 'Times New Roman', serif; font-size: 12pt;"><span class="font" style="font-family:Calibri, sans-serif">DeclarationMatcher IHD__Matcher = recordDecl(</span><br></p><div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
has(</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
fieldDecl().bind("IHD")</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
),</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
isDerivedFrom(</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
SameName(</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
SameType(</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
recordDecl(</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
has(</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
fieldDecl()</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
)</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
)</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
)</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
)</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
)</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
);</span><br></div>
</blockquote><p style="margin: 0cm 0cm 12pt; font-family: 'Times New Roman', serif; font-size: 12pt;"><span class="font" style="font-family:Calibri, sans-serif">The problem is that when i compile i get the following errors:</span><br></p><blockquote style="margin-top:5.0pt;margin-bottom:5.0pt"><p style="margin: 0cm 0cm 12pt; font-family: 'Times New Roman', serif; font-size: 12pt;"><span class="font" style="font-family:Calibri, sans-serif">clang++ -I/usr/local/include -D_DEBUG -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -g -fvisibility-inlines-hidden -fno-exceptions
-fno-rtti -fPIC -Woverloaded-virtual -Wcast-qual -fno-rtti -c -o IHD_operator.o IHD_operator.cpp</span><br></p><div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
IHD_operator.cpp:83:6: error: no matching function for call to 'SameType'</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
SameType(</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
^~~~~~~~</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
IHD_operator.cpp:39:28: note: candidate function not viable: no known conversion from 'clang::ast_matchers::internal::BindableMatcher<clang::Decl>' to</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
'const clang::FieldDecl' for 1st argument</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
AST_MATCHER_P(FieldDecl, SameType, FieldDecl, f)</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
^</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
/usr/local/include/clang/ASTMatchers/ASTMatchersMacros.h:86:32: note: expanded from macro 'AST_MATCHER_P'</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
AST_MATCHER_P_OVERLOAD(Type, DefineMatcher, ParamType, Param, 0)</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
^</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
/usr/local/include/clang/ASTMatchers/ASTMatchersMacros.h:104:34: note: expanded from macro 'AST_MATCHER_P_OVERLOAD'</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
inline internal::Matcher<Type> DefineMatcher(const ParamType &Param) { \</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
^</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
1 error generated.</span><br></div>
<div class="" defang_dir=""><span class="font" style="font-family:Calibri, sans-serif">
make: *** [IHD_operator.o] Error 1</span><br></div>
</blockquote><p style="font-family: 'Times New Roman', serif; font-size: 12pt; margin: 0cm 0cm 0.0001pt;"><span class="font" style="font-family:Calibri, sans-serif">I don't know why is trying to make a conversion to FieldDecl from Decl if it is supose to be receiving a FieldDecl type param.</span><br></p></div>
</div>
</div>
<div><u>_______________________________________________</u><br></div>
<div>cfe-dev mailing list<br></div>
<div><a href="mailto:cfe-dev@cs.uiuc.edu" style="text-decoration: underline; color: rgb(5, 99, 193);">cfe-dev@cs.uiuc.edu</a><br></div>
<div><a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev" style="text-decoration: underline; color: rgb(5, 99, 193);">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev</a><br></div>
</blockquote></body>
</html>