<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 - StaticAnalyzer/Core/ExprEngine.cpp UNREACHABLE executed"
href="https://bugs.llvm.org/show_bug.cgi?id=34399">34399</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>StaticAnalyzer/Core/ExprEngine.cpp UNREACHABLE executed
</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>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>chh@google.com
</td>
</tr>
<tr>
<th>CC</th>
<td>llvm-bugs@lists.llvm.org
</td>
</tr></table>
<p>
<div>
<pre>Created <span class=""><a href="attachment.cgi?id=19073" name="attach_19073" title="preprocessed p.cpp and command in run.sh">attachment 19073</a> <a href="attachment.cgi?id=19073&action=edit" title="preprocessed p.cpp and command in run.sh">[details]</a></span>
preprocessed p.cpp and command in run.sh
The attached p.zip contains a test case that
shows an assertion failure triggered by core
static analyzer checks.
To reproduce the problem:
(1) build clang-tidy with assertion check.
(2) run the run.sh script.
The assertion failure is:
Support for this Decl not implemented.
UNREACHABLE executed at
.../llvm/tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp:2087!
The p.cpp is preprocessed file from Android Open Source.
The compilation mode -std=gnu++1z is needed to reproduce the error.
Several Android source files have this problem and they are compiled
with -std=gnu++1z. If there is some gnu features not supported by
static analyzer, can static analyzer skip them gracefully?
If we can identify the source syntax, maybe we can avoid them in the source.</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>