By definition, if empty () is true, store count must be zero (empty means there are no real Value's in the class, stores or otherwise)<div>We assert this in congruence class moving.</div><div><br><br><div class="gmail_quote"><div dir="ltr">On Thu, May 11, 2017, 3:14 PM Davide Italiano via Phabricator <<a href="mailto:reviews@reviews.llvm.org">reviews@reviews.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">davide added a comment.<br>
<br>
While looking at something completely unrelated I noticed:<br>
<br>
  bool isDead() const {<br>
    // If it's both dead from a value perspective, and dead from a memory<br>
    // perspective, it's really dead.<br>
    return empty() && memory_empty();<br>
  }<br>
<br>
shouldn't this also do `&& StoreCount == 0` ?<br>
<br>
<br>
<a href="https://reviews.llvm.org/D33056" rel="noreferrer" target="_blank">https://reviews.llvm.org/D33056</a><br>
<br>
<br>
<br>
</blockquote></div></div>