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

    <tr>
        <th>Summary</th>
        <td>
            `a <= abs(a)` is always true
        </td>
    </tr>

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

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

    <tr>
      <th>Reporter</th>
      <td>
          k-arrows
      </td>
    </tr>
</table>

<pre>
    Alive2 Proof: https://alive2.llvm.org/ce/z/XD9--h
Original program: https://godbolt.org/z/aT8v6G8e9
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxkkL2u2zAMhZ-GWgQHEunfQUPawB3boUNXKpZttUoUSHKC26cvbFy0QO_E4eB8OPw4Z7_cnTPQfILmIngra0zmV8UpxVcWNk5v5hz806H8lmKcgc5yLeWRgc6AI-DIR3oK4Xk7xbQAjlcHOP4GHH9chqpaQV1Anb8mv_g7B_lIcUl8-wha4mRjKO-Qvc_f-2f7pXeDmAxNAw0snNGdUkioOiVWY5sWqaW5nSe6Tn3v2Ck9k2NSHTW2Ed6gQtJad7qutVannmrSTcfTXNfdUGuolbuxD38fED7nzZkO24ZEYOtCPuwg3t1LHiEg7rKS2TuV3ZYMtQo-l_yPUnwJzkCrWAJ9BrpIthmwZ8ABWiV9lhxe_JZlSZsTWwrmPx2-rJs9XeMNcNyx76d6pPjTXQvgeIzJgOMx9k8AAAD__9-6jQs">