<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 - consumed checker does not check param_typestate/return_typestate on constructor arguments"
href="https://bugs.llvm.org/show_bug.cgi?id=42856">42856</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>consumed checker does not check param_typestate/return_typestate on constructor arguments
</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>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>C++
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedclangbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>comexk@gmail.com
</td>
</tr>
<tr>
<th>CC</th>
<td>blitzrakete@gmail.com, dgregor@apple.com, erik.pilkington@gmail.com, llvm-bugs@lists.llvm.org, richard-llvm@metafoo.co.uk
</td>
</tr></table>
<p>
<div>
<pre>In clang/lib/Analysis/Consumed.cpp, when the analysis sees a function, method,
or operator call, it calls handleCall, which (among other things) checks for
param_typestate and return_typestate attributes on formal parameters from the
corresponding function declaration, and updates the state of the actual
parameters accordingly. But ConsumedStmtVisitor::VisitCXXConstructExpr does
not call handleCall, so any param_typestate and return_typestate attributes on
constructor parameters will be ignored. The only handling of parameters in
that case are the special cases for move and copy constructors.
This should be fixed to respect those attributes on constructors parameters.</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>