<html>
<head>
<base href="https://bugs.llvm.org/">
</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 - Require NS_VALID_UNTIL_END_OF_SCOPE for any variable set to a pointer marked NS_RETURNS_INNER_POINTER when the object owning the inner pointer may become deallocated"
href="https://bugs.llvm.org/show_bug.cgi?id=33286">33286</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>Require NS_VALID_UNTIL_END_OF_SCOPE for any variable set to a pointer marked NS_RETURNS_INNER_POINTER when the object owning the inner pointer may become deallocated
</td>
</tr>
<tr>
<th>Product</th>
<td>clang
</td>
</tr>
<tr>
<th>Version</th>
<td>4.0
</td>
</tr>
<tr>
<th>Hardware</th>
<td>PC
</td>
</tr>
<tr>
<th>OS</th>
<td>All
</td>
</tr>
<tr>
<th>Status</th>
<td>NEW
</td>
</tr>
<tr>
<th>Severity</th>
<td>enhancement
</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>michael.eisel@gmail.com
</td>
</tr>
<tr>
<th>CC</th>
<td>llvm-bugs@lists.llvm.org
</td>
</tr></table>
<p>
<div>
<pre>Otherwise, the object holding the inner pointer may be deallocated before the
variable is, and then the local variable will point to garbage. One way to do
determine, most of the time, if the buffer object may become deallocated first
is if the buffer object is local.</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>