<html>
<head>
<base href="https://bugs.llvm.org/">
</head>
<body><span class="vcard"><a class="email" href="mailto:alexfh@google.com" title="Alexander Kornienko <alexfh@google.com>"> <span class="fn">Alexander Kornienko</span></a>
</span> changed
<a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED WORKSFORME - Assertion UNREACHABLE: "Unexpected ProgramPoint" with widen-loops=true"
href="https://bugs.llvm.org/show_bug.cgi?id=25609">bug 25609</a>
<br>
<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>What</th>
<th>Removed</th>
<th>Added</th>
</tr>
<tr>
<td style="text-align:right;">Status</td>
<td>NEW
</td>
<td>RESOLVED
</td>
</tr>
<tr>
<td style="text-align:right;">CC</td>
<td>
</td>
<td>alexfh@google.com
</td>
</tr>
<tr>
<td style="text-align:right;">Resolution</td>
<td>---
</td>
<td>WORKSFORME
</td>
</tr></table>
<p>
<div>
<b><a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED WORKSFORME - Assertion UNREACHABLE: "Unexpected ProgramPoint" with widen-loops=true"
href="https://bugs.llvm.org/show_bug.cgi?id=25609#c1">Comment # 1</a>
on <a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED WORKSFORME - Assertion UNREACHABLE: "Unexpected ProgramPoint" with widen-loops=true"
href="https://bugs.llvm.org/show_bug.cgi?id=25609">bug 25609</a>
from <span class="vcard"><a class="email" href="mailto:alexfh@google.com" title="Alexander Kornienko <alexfh@google.com>"> <span class="fn">Alexander Kornienko</span></a>
</span></b>
<pre>I can't reproduce this now (even with assertions-enabled build of clang). This
must have been fixed already.
$ cat /tmp/q.cc
int *p;
void bar();
void foo() {
if (p == 0)
bar();
for (int i = 0; i < 99; i++) {}
int x = p[0];
}
$ clang -cc1 -analyze -analyzer-checker core,alpha,unix,cplusplus
-analyzer-config widen-loops=true /tmp/q.cc
/tmp/q.cc:8:13: warning: Array access (from variable 'p') results in a null
pointer dereference
int x = p[0];
^~~~
1 warning generated.</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>