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

    <tr>
        <th>Summary</th>
        <td>
            CSA evals `a-b>0` as TRUE but evals `b-a<=0` as UNKNOW
        </td>
    </tr>

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

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

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

<pre>
    Hi,
i think there's something a little odd here.

```c
extern void clang_analyzer_eval();

void foo(int a) {
    int b = 0;
    if (a > 0){
        clang_analyzer_eval(a - b > 0);
        clang_analyzer_eval(b - a <= 0);
 }
}
```
version: clang trunk
args: `--analyze -Xclang -analyzer-stats -Xclang -analyzer-checker=core,debug.ExprInspection --analyzer-output text`
See it live: https://godbolt.org/z/PhjK6MzTn

Thank you for taking the time to review this issue.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyMU01vozAQ_TXDZUQENiFw4NDmQ11V211tW-3eKhsGcOPgyDZp2l-_ckjbaNXDIsTHm3lvnj1j4ZzqBqIK5tcwX0Vi9L2x1Y1KjlkaSdO8VjcK2BKSFSRXCn2vhi36niwBWzh0ZkcB61CgVt5rQtM0GOKziXN-5sl019M_HT3ZAQ9GNVhrMXRPYhD69Y3sEx2EBlYAK4FfX2qckltjgBVq8CiAlQiLcwoiYkAlAl9h8kE94S0CKwQCX2MSdC9J4fragcD4JHcm8f8iSYwxVFpONi55sFidl_Px8b4r5wWSdcoMwK8mcfR2HLZTTNjOhQDkSRyfi2L8Z8p7B2zsvPDuC7zuqd6SBb6qTWjdsiE5drP1cW-_DW5PtVdmwPiTYEa_Hz16OvoPf_dEqDxqdaBgpfd-HzwB2wDbdKaRRvuZsR2wzRuwzc_--Tb__vYwXDbxoRfDFl_NiK2x6MU2zI7vCb3aEXqDlg6KXsKgOVTOjTSLmoo3JS9FRFWaF6zI0yzNo76qa6rnKbUks6KWsimTtsxLuchqahdtVkeqYgnjScaTlPMkzWdZWxaLecmLTOSML1LIEtoJpWdaH3bBenQqWeUsy3mkhSTtTkeDsYFeJj_AWDgptgqcWI6dgyzRynn3qeKV11Qt768wjIULXROxBL4OzUbh8OHX4xrl6D_jMhbT1LynPN7d3v34HY1WV__stPL9KGe12QHbhJLnV7y35plqD2xzMuqAbU4L-RsAAP__U2IrOA">