<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 --- - Analyzer crashes with assertion Ex->isGLValue()"
href="http://llvm.org/bugs/show_bug.cgi?id=16131">16131</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>Analyzer crashes with assertion Ex->isGLValue()
</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>magnus.reftel@gmail.com
</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=10576" name="attach_10576" title="testcase files produced by clang">attachment 10576</a> <a href="attachment.cgi?id=10576&action=edit" title="testcase files produced by clang">[details]</a></span>
testcase files produced by clang
The Clang Static Analyzer (at least in revisions between 180916 and 182628, but
not the 3.2 version shipped by Ubuntu) aborts due to an assertion when run on
the following code:
extern void v;
static void f(void) {
&v;
}
The failing assertion is:
clang: ExprEngine.cpp:1616: void
clang::ento::ExprEngine::VisitCommonDeclRefExpr(const clang::Expr *, const
clang::NamedDecl *, clang::ento::ExplodedNode *, clang::ento::ExplodedNodeSet
&): Assertion `Ex->isGLValue()' failed.</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>