[prev in list] [next in list] [prev in thread] [next in thread]
List: llvm-bugs
Subject: [LLVMbugs] [Bug 16182] New: RecursiveASTVisitor does not visit parameter of implicit function
From: bugzilla-daemon () llvm ! org
Date: 2013-05-30 17:22:57
Message-ID: bug-16182-206 () http ! llvm ! org/bugs/
[Download RAW message or body]
--1369934578.8DEfdC3.28318
Date: Thu, 30 May 2013 12:22:58 -0500
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
http://llvm.org/bugs/show_bug.cgi?id=16182
Bug ID: 16182
Summary: RecursiveASTVisitor does not visit parameter of
implicit function
Product: clang
Version: trunk
Hardware: PC
OS: Linux
Status: NEW
Severity: normal
Priority: P
Component: Static Analyzer
Assignee: kremenek@apple.com
Reporter: atzannes@illinois.edu
CC: llvmbugs@cs.uiuc.edu
Classification: Unclassified
Created attachment 10599
--> http://llvm.org/bugs/attachment.cgi?id=10599&action=edit
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; }
--
You are receiving this mail because:
You are on the CC list for the bug.
--1369934578.8DEfdC3.28318
Date: Thu, 30 May 2013 12:22:58 -0500
MIME-Version: 1.0
Content-Type: text/html; charset="UTF-8"
<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>
--1369934578.8DEfdC3.28318--
_______________________________________________
LLVMbugs mailing list
LLVMbugs@cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic