<html>
<head>
<base href="http://llvm.org/bugs/" />
</head>
<body><table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Bug ID</th>
<td><a class="bz_bug_link
bz_status_NEW "
title="NEW --- - RecursiveASTVisitor does not visit parameter of implicit function"
href="http://llvm.org/bugs/show_bug.cgi?id=16182">16182</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>RecursiveASTVisitor does not visit parameter of implicit function
</td>
</tr>
<tr>
<th>Product</th>
<td>clang
</td>
</tr>
<tr>
<th>Version</th>
<td>trunk
</td>
</tr>
<tr>
<th>Hardware</th>
<td>PC
</td>
</tr>
<tr>
<th>OS</th>
<td>Linux
</td>
</tr>
<tr>
<th>Status</th>
<td>NEW
</td>
</tr>
<tr>
<th>Severity</th>
<td>normal
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>Static Analyzer
</td>
</tr>
<tr>
<th>Assignee</th>
<td>kremenek@apple.com
</td>
</tr>
<tr>
<th>Reporter</th>
<td>atzannes@illinois.edu
</td>
</tr>
<tr>
<th>CC</th>
<td>llvmbugs@cs.uiuc.edu
</td>
</tr>
<tr>
<th>Classification</th>
<td>Unclassified
</td>
</tr></table>
<p>
<div>
<pre>Created <span class=""><a href="attachment.cgi?id=10599" name="attach_10599" title="source code with implicit 'operator=' function that gets visited, but its parameter doesn't">attachment 10599</a> <a href="attachment.cgi?id=10599&action=edit" title="source code with implicit 'operator=' function that gets visited, but its parameter doesn't">[details]</a></span>
source code with implicit 'operator=' function that gets visited, but its
parameter doesn't
I'm visiting the code (see attached file) using the RecursiveASTVisitor and my
problem is that the parameter of the implicit function is not visited because
getTypeSourceInfo() returns null on line 1739 of RecursiveASTVisitor.h
-- RecursiveASTVisitor.h:lines 1735-1741 ----------------------------
// Visit the function type itself, which can be either
// FunctionNoProtoType or FunctionProtoType, or a typedef. This
// also covers the return type and the function parameters,
// including exception specifications.
if (TypeSourceInfo *TSI = D->getTypeSourceInfo()) {
TRY_TO(TraverseTypeLoc(TSI->getTypeLoc()));
}
---------------------------------------------------------------------
Nevertheless, dumping the AST node for the CXXMethod (operator=) reveals that a
nameless parameter is properly created.
Note: All three "should" functions of my visitor return true:
bool shouldVisitImplicitCode() const { return true; }
bool shouldWalkTypesOfTypeLocs() const { return true; }
bool shouldVisitTemplateInstantiations() const { return true; }</pre>
</div>
</p>
<hr>
<span>You are receiving this mail because:</span>
<ul>
<li>You are on the CC list for the bug.</li>
</ul>
</body>
</html>