<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 --- - False positive regarding lifetime extension with static references"
href="http://llvm.org/bugs/show_bug.cgi?id=16504">16504</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>False positive regarding lifetime extension with static references
</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>labath@google.com
</td>
</tr>
<tr>
<th>CC</th>
<td>klimek@google.com, llvmbugs@cs.uiuc.edu
</td>
</tr>
<tr>
<th>Classification</th>
<td>Unclassified
</td>
</tr></table>
<p>
<div>
<pre>$ cat a.cc
struct A {
};
void f() {
static const A &a = A();
}
$ clang --analyze a.cc
a.cc:5:3: warning: Address of stack memory associated with temporary object of
type 'struct A' is still referred to by the global variable 'a' upon returning
to the caller. This will be a dangling reference
static const A &a = A();
^ ~~~
1 warning generated.
-----------
According to my understanding of C++, the above program is correct (albeit
surprising, but apparently people actually use patterns like this) and the
temporary will not get destroyed upon exiting the function. Therefore, the
analyzer should not produce a warning in this case.</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>