<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 - llvm_unreachable in RegionStoreManager::getBindingForDerivedDefaultValue()"
href="https://bugs.llvm.org/show_bug.cgi?id=37578">37578</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>llvm_unreachable in RegionStoreManager::getBindingForDerivedDefaultValue()
</td>
</tr>
<tr>
<th>Product</th>
<td>clang
</td>
</tr>
<tr>
<th>Version</th>
<td>unspecified
</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>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>dcoughlin@apple.com
</td>
</tr>
<tr>
<th>Reporter</th>
<td>ibiryukov@google.com
</td>
</tr>
<tr>
<th>CC</th>
<td>ekarpenkov@apple.com, llvm-bugs@lists.llvm.org, noqnoqneo@gmail.com
</td>
</tr></table>
<p>
<div>
<pre>$ cat test-RegionStoreManager__getBindingForDerivedDefaultValue.cc
union a {
struct {
int b;
};
};
template <class>
class c {
public:
void d() const {
long e;
void f();
f ? a().b : e;
}
};
class g {
void h() const;
c<int> i;
};
void g::h() const { i.d(); }
$ ./clang-tidy -checks=-*,clang-analyzer*
test-RegionStoreManager__getBindingForDerivedDefaultValue.cc -- -std=c++11
Unknown default value
UNREACHABLE executed at
llvm/tools/clang/lib/StaticAnalyzer/Core/RegionStore.cpp:1751!
PC: @ 0x7f9d7436e602 (unknown) raise
@ 0x55ae2f41c3b9 1568 FailureSignalHandler()
@ 0x7f9d744dd9a0 757516208 (unknown)
@ 0x55ae2e43f3dd 64 llvm::llvm_unreachable_internal()
@ 0x55ae2d0fe24c 80 (anonymous
namespace)::RegionStoreManager::getBindingForDerivedDefaultValue()
@ 0x55ae2d0fdc56 144 (anonymous
namespace)::RegionStoreManager::getBindingForFieldOrElementCommon()
@ 0x55ae2d0fa645 96 (anonymous
namespace)::RegionStoreManager::getBindingForField()
@ 0x55ae2d0f9f54 64 (anonymous
namespace)::RegionStoreManager::getBinding()
@ 0x55ae2d0f3ae4 64 (anonymous
namespace)::RegionStoreManager::getBinding()
@ 0x55ae2d11cac6 96 clang::ento::ProgramState::getSVal()
@ 0x55ae2d1706d2 288 clang::ento::ExprEngine::evalLoad()
@ 0x55ae2d18d81c 688 clang::ento::ExprEngine::VisitCast()
@ 0x55ae2d16657b 784 clang::ento::ExprEngine::Visit()
@ 0x55ae2d16368e 416 clang::ento::ExprEngine::ProcessStmt()
@ 0x55ae2d1633ab 96
clang::ento::ExprEngine::processCFGElement()
@ 0x55ae2d187065 48 clang::ento::CoreEngine::HandlePostStmt()
@ 0x55ae2d1864bd 320 clang::ento::CoreEngine::ExecuteWorkList()
@ 0x55ae2cebc0bc 1216 (anonymous
namespace)::AnalysisConsumer::ActionExprEngine()
@ 0x55ae2cebbc36 288 (anonymous
namespace)::AnalysisConsumer::HandleCode()
@ 0x55ae2cea79c4 432 (anonymous
namespace)::AnalysisConsumer::HandleTranslationUnit()</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>