<html>
<head>
<base href="https://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 --- - BugReporter.cpp:2869: {anonymous}::TrimmedGraph::TrimmedGraph(const clang::ento::ExplodedGraph*, llvm::ArrayRef<const clang::ento::ExplodedNode*>): Assertion `!RemainingNodes.empty() && "No error node found in the trimmed graph"' failed." href="https://urldefense.proofpoint.com/v2/url?u=https-3A__llvm.org_bugs_show-5Fbug.cgi-3Fid-3D24184&d=AwMBaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=pF93YEPyB-J_PERP4DUZOJDzFVX5ZQ57vQk33wu0vio&m=SOpzuGqIwkKKQ3T59z3Hv6VZHIK2lc1m58i3qPnQeKs&s=FnaFBOHaBWif-ONNiv4CHaUVkYg9m4OLuwRTzdjNi2Y&e=">24184</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>BugReporter.cpp:2869: {anonymous}::TrimmedGraph::TrimmedGraph(const clang::ento::ExplodedGraph*, llvm::ArrayRef<const clang::ento::ExplodedNode*>): Assertion `!RemainingNodes.empty() && "No error node found in the trimmed graph"' 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>kremenek@apple.com
</td>
</tr>
<tr>
<th>Reporter</th>
<td>dimhen@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>$ /usr/local/llvm/bin/clang++ --version
clang version 3.8.0 (trunk 242641)
Target: x86_64-unknown-linux-gnu
Thread model: posix
$ /usr/local/llvm/bin/clang++ -cc1 -analyze -analyzer-eagerly-assume
-fcxx-exceptions -analyzer-checker=core
-analyzer-checker=alpha.core.PointerArithm -analyzer-max-loop 64 x.ii
[...skip warnings...]
clang++:
/home/dimhen/src/llvm/tools/clang/lib/StaticAnalyzer/Core/BugReporter.cpp:2869:
{anonymous}::TrimmedGraph::TrimmedGraph(const clang::ento::ExplodedGraph*,
llvm::ArrayRef<const clang::ento::ExplodedNode*>): Assertion
`!RemainingNodes.empty() && "No error node found in the trimmed graph"' failed.
0 clang++ 0x0000000002398915
llvm::sys::PrintStackTrace(llvm::raw_ostream&) + 37
1 clang++ 0x0000000002397481
2 libpthread.so.0 0x0000003469010430
3 libc.so.6 0x0000003468c349c8 gsignal + 56
4 libc.so.6 0x0000003468c3665a abort + 362
5 libc.so.6 0x0000003468c2d187
6 libc.so.6 0x0000003468c2d232
7 clang++ 0x0000000001193153
8 clang++ 0x0000000001199ee1
clang::ento::GRBugReporter::generatePathDiagnostic(clang::ento::PathDiagnostic&,
clang::ento::PathDiagnosticConsumer&, llvm::ArrayRef<clang::ento::BugReport*>&)
+ 545
9 clang++ 0x000000000119cf35
clang::ento::BugReporter::FlushReport(clang::ento::BugReport*,
clang::ento::PathDiagnosticConsumer&, llvm::ArrayRef<clang::ento::BugReport*>)
+ 1445
10 clang++ 0x000000000119d275
clang::ento::BugReporter::FlushReport(clang::ento::BugReportEquivClass&) + 277
11 clang++ 0x000000000119eea7 clang::ento::BugReporter::FlushReports()
+ 3943
12 clang++ 0x0000000001037011
13 clang++ 0x00000000010377fe
14 clang++ 0x000000000103e671
15 clang++ 0x0000000000b704a2 clang::ParseAST(clang::Sema&, bool, bool)
+ 754
16 clang++ 0x00000000007cbad6 clang::FrontendAction::Execute() + 486
17 clang++ 0x00000000007a47c1
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) + 353
18 clang++ 0x000000000078a25b
clang::ExecuteCompilerInvocation(clang::CompilerInstance*) + 2107
19 clang++ 0x00000000007817c8 cc1_main(llvm::ArrayRef<char const*>,
char const*, void*) + 2104
20 clang++ 0x000000000075f339 main + 1321
21 libc.so.6 0x0000003468c20700 __libc_start_main + 240
22 clang++ 0x0000000000780749 _start + 41
Stack dump:
0. Program arguments: /usr/local/llvm/bin/clang++ -cc1 -analyze
-analyzer-eagerly-assume -fcxx-exceptions -analyzer-checker=core
-analyzer-checker=alpha.core.PointerArithm -analyzer-max-loop 64 x.ii
1. <eof> parser at end of file
$ cat x.ii
typedef struct {
int cbData;
unsigned pbData;
} CRYPT_DATA_BLOB;
typedef enum { DT_NONCE_FIXED } DATA_TYPE;
int a;
typedef int *vcreate_t(int *, DATA_TYPE, int, int);
void fn1(unsigned, unsigned) {
char b = 0;
for (; 1; a++, &b + a * 0)
;
}
vcreate_t fn2;
struct A {
CRYPT_DATA_BLOB value;
int m_fn1() {
int c;
value.pbData == 0;
fn1(0, 0);
}
};
struct B {
A IkeHashAlg;
A IkeGType;
A NoncePhase1_r;
};
class C {
int m_fn2(B *);
void m_fn3(B *, int, int, int);
};
int C::m_fn2(B *p1) {
int *d;
int e = p1->IkeHashAlg.m_fn1();
unsigned f = p1->IkeGType.m_fn1(), h;
int g;
d = fn2(0, DT_NONCE_FIXED, (char)0, p1->NoncePhase1_r.value.cbData);
h = 0 | 0;
m_fn3(p1, 0, 0, 0);
}</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>