<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/77969>77969</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            missed-optimization: sum of two signed values greater than x is always greater than x
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          gooncreeper
      </td>
    </tr>
</table>

<pre>
    writing titles is harder than code
```C
int unopt(int x, int y, int z) {
    return x > y && z > y && (x + z) > y;
}

int opt(int x, int y, int z) {
    return x > y && z > y;
}
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJysUtvO4ywMfBrnxmpFnAPJBRft17_vQYib8IuECsjXw9Ovkra72tVeroTEWIPNWDM6RjvMzAqqI1SnTC9p9EEN3s8mMF85ZJ3vH-oWbLLzgMkmxxFtxFGHngOmUc9ofM8gTiAOUIvX-XrVdk64zP6agJoV34G-cAWPD3gCtQjy-HqPiBg4LWHGO0LxHz4QqAaq8fl7CdTcEej47l8pKN5DQJ7e4KeGf6jgL998ls56VfRt0eqMVS5FJZqmrkU2Ksm1JJOzkVSaqullV9clVyYvTKvrSmRWkaBS5DnlbVmS2MvuctGtabnvSMu2gVLwpK3bO_c97X0YMhvjwkrKtm4zpzt2cTORaOYbbiQQrZ4GtfbsumWIUApnY4q_pmyGqsnGyP3OX5Od7FMn62coDhiXCf0F083jFpMev7VbOOIQWKeP-_c1Dtrd9ONPIluCU2NK1wjFAegMdB5sGpdub_wEdF5VvK_dNfj_2SSg86Y9Ap233X4EAAD__ws6yhM">