<p><span class="h-card" translate="no"><a href="https://hachyderm.io/@cliffle" class="u-url mention">@<span>cliffle</span></a></span> <span class="h-card" translate="no"><a href="https://social.treehouse.systems/@dysfun" class="u-url mention">@<span>dysfun</span></a></span> i mostly mean alias and dereferenceability analyses and the code motion it enables</p><p>overflow checks barely moved the needle iirc</p>