<html>
<head>
<base href="https://bugs.llvm.org/">
</head>
<body><span class="vcard"><a class="email" href="mailto:nikita.ppv@gmail.com" title="Nikita Popov <nikita.ppv@gmail.com>"> <span class="fn">Nikita Popov</span></a>
</span> changed
<a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED INVALID - [InstCombine] non-inbounds GEP of null pointer miscompiled"
href="https://bugs.llvm.org/show_bug.cgi?id=48577">bug 48577</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;">Resolution</td>
<td>FIXED
</td>
<td>INVALID
</td>
</tr></table>
<p>
<div>
<b><a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED INVALID - [InstCombine] non-inbounds GEP of null pointer miscompiled"
href="https://bugs.llvm.org/show_bug.cgi?id=48577#c4">Comment # 4</a>
on <a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED INVALID - [InstCombine] non-inbounds GEP of null pointer miscompiled"
href="https://bugs.llvm.org/show_bug.cgi?id=48577">bug 48577</a>
from <span class="vcard"><a class="email" href="mailto:nikita.ppv@gmail.com" title="Nikita Popov <nikita.ppv@gmail.com>"> <span class="fn">Nikita Popov</span></a>
</span></b>
<pre>I've reverted my change and closing this an INVALID, as this fold is valid. The
problematic gep fold is already tracked at
<a class="bz_bug_link
bz_status_NEW "
title="NEW - Folding 'gep p, (q - p)' to q should check it is never used for loads & stores"
href="show_bug.cgi?id=44403">https://bugs.llvm.org/show_bug.cgi?id=44403</a>.
I'm also not sure if my reasoning above regarding inbounds is correct or not.
Alive2 says it's not, but I'm not convinced that Alive2 is right at least in
one specific instance (I've opened
<a href="https://github.com/AliveToolkit/alive2/issues/634">https://github.com/AliveToolkit/alive2/issues/634</a>).</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>