<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=http://email.email.llvm.org/c/eJylU0tv2zAM_jXyhahhS45tHXxok7Ub1l4H7Chbiq1CljI9EqS_frSTYEW7nSboQeqTKJIf1Tt57p62W9ABRG8URAfK6FlbEVGZlqG9BBGC8hG0Xff2zhh30naEwUlF2D0pdqS4J3Vx6cNVp0zbwSSpgLDtxUQ-EfblAh-dlrAntNU2giAUnUChvwkDoRxI83A5DNguFvCCWOwtJzlhf8P7FR_-iYvPOGl2H4K4qus8xXgIS5z0Efs4DPnoZO9MzJ0fcecNR-CC_3ypn76_v_jVndRR-TWmPXyDYRJ2vCb2fMBMejcDPoYB47xkH5dkgx6tknDdfX7-8fKeoL0ek1egI7gU80x2THLGRSZSnJzvXv2c9JsyWfKm--C5jlPq88HNqBhzvC13B-9e1YC5edQhJBVQ2DDasGzq-qoty75t2KbhivO2xtdkrUQxNLwRrM6M6JUJHdk8EEqtOsFqAmWy2WX_74HuaEFpUZZtycuqaHJZbERTU1ZVuNS8IlWhZqFNvthZCMl8t5rs0xgQNDrE8AfEKliyq1aH0cOoo1HdmmPpVADrIiQrlQ9RWIlUiaXu1a8kjI7nhYfoBTIU9RHrmrbIr4UThoWfwQbEkLW72x_SzmKVZWtI3RrPb9PNDuA>53273</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            LLVM does not understand that inequality is transitive (even with constraint-elimination)
        </td>
    </tr>

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

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

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

<pre>
    GCC is able to eliminate the third assert in the following code:
```c
#include <assert.h>
void f(int a, int b, int c) {
    assert(a < b);
    assert(b < c);
    assert(a < c);
}
```

https://gcc.godbolt.org/z/s9a9YM6GK

However, if I change the type from `int` to `unsigned int` LLVM is able to figure it out.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJx1Uslu2zAQ_RrqMohAk1rMgw6J3SRFk2uBHimRlhjQpMPFhvP1Hck2GqQtwWVmHjnLG_ZenbunzQZMBNlbDcmDtmZvnEyoTPMyQYGMUYcExi22nbfWn4wbYfBKE35P6JbQe9LQyxyuOuPGDTYrDYRvLi7KifBvF_jojYIdYWvjEkjCMAkU-pswECaAtA-Xy4Dj4gEfyNnffFMQ_i-8X_Dhv7j8Gyft9ksRV3XZp5QOca6TPeIch6Ecveq9TaUPI1o-cEUhxa_X5unH54fP_qSPOiw17eA7DJN045XY8wGZDH4PGAwLxn1mH4_sohmdVnC1vrz8fP3coJ0Zc9BgEvicykJ1XAkuZJFMsrpbbiuvIzifIDulQ0zSKQwq5w7q9yytSefZYwoSYyVzxA6xNWbq4GTShG11ETGMf3f7DcY75KvIwXZf2MAHuS8Hv0fF2uPtuDsE_6YH5PvRxJh1RKHmrOXF1NFa1E0tWN23Sgi9UjXjsqklFX0lWUULK3ttY0fqB8KY0ydYXKBM6m1hOkYZo6vVeiVWFW1LRWvZNoxXFR6NqEhF9V4aW855zC0qQrek1OcxImhNTPEPiP9i5lsv4dC_zGnyoXsL-2w-tC2W2N2S-2-77fkQ">