<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 - [Analyzer- Loop Widen] Assertion `!InitValWithAdjustments.getAs<Loc>() || Loc::isLocType(Result->getType()) || Result->getType()->isMemberPointerType()' failed."
href="https://bugs.llvm.org/show_bug.cgi?id=35506">35506</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>[Analyzer- Loop Widen] Assertion `!InitValWithAdjustments.getAs<Loc>() || Loc::isLocType(Result->getType()) || Result->getType()->isMemberPointerType()' failed.
</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>dcoughlin@apple.com
</td>
</tr>
<tr>
<th>Reporter</th>
<td>movietravelcode@outlook.com
</td>
</tr>
<tr>
<th>CC</th>
<td>llvm-bugs@lists.llvm.org
</td>
</tr></table>
<p>
<div>
<pre>When I use the command "$clang++ --analyze -Xanalyzer -analyzer-checker=alpha
-Xanalyzer -analyzer-config -Xanalyzer widen-loops=true test.cpp" will get an
assertion failure. Although the assert is in
"ExprEngine::createTemporaryRegionIfNeeded()", I found this error eventually
caused by loop widen. When there is a loop in constructor, the analyzer will
invalidate the `this` pointer when I set `widen-loops=true`. As we know, `this`
pointer is `prvalue expression` actually, see
<a href="http://en.cppreference.com/w/cpp/language/this">http://en.cppreference.com/w/cpp/language/this</a>.
class BlockId
{
public:
BlockId(const int parm);
};
int count = 0;
const int global = 10;
void goo(BlockId id);
BlockId::BlockId(const int parm)
{
const int num = 10;
do {
count = count - num;
} while (count--);
count = num + parm;
}
int main()
{
// goo(10);
goo(BlockId(10));
}</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>