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

    <tr>
        <th>Summary</th>
        <td>
            [clang static analyzer] `clang_analyzer_eval` affects the analyzer's result
        </td>
    </tr>

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

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

    <tr>
      <th>Reporter</th>
      <td>
          0-0x41
      </td>
    </tr>
</table>

<pre>
    case:

```c
void clang_analyzer_eval();

void f(int c)
{
    int b = 0;
    int d[1] = {b};
    int *e = d;
    clang_analyzer_eval((*e ^= c) || b);
    if ((*e ^= c) || b)
    {
        clang_analyzer_eval((*e ^= c) || b);
        if ((*e ^= c) || b)
        {
            *(int *)0;
        }
    }
}

```

In this case, when `clang_analyzer_eval` is added at line 8 (https://godbolt.org/z/oPGfvsaaf), the eval statement inside the if branch has no output. But when line 8 is commented out (https://godbolt.org/z/x78nen5xv), then it is output. 

Also, the eval result of `((*e ^= c) || b)` (line 11) should probably be TRUE after analyzer goes inside the if branch. On top of the FALSE given by analyzer, it instead goes into the next if branch to do the analysis.

Thank you for taking the time to review this case.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJysVF2P6jYQ_TXOy2gjx-SLhzzwsakqVWrV3j5f2fEkca-xUeywsL--soGF7bLSqroSAuIzZ3zm-MTcOTUYxIYUa1JsEz770U4NfaLHPEuElaem4w7JYkXoltDrd0nPn-78fLBKQqe5Gb5zw_XpFafveOCasJqwJVms78mxuCesVsZDF_AzWF2qAAACJIAstkDf2Nd1SYp1RopthEm1FqTafigibIWxQL6DPtNYn-uL50AJmoBUG1JtQNzrj817-ALjrfzdVD9Hwf9Q8VBJXGSry0HEf0v6Yadg7t002-thbR_m4X7xVwN-VA5iftgGXkY0EDLzwIGSgnLApUQJ3INWBqEOI47e711IH2sJawcrhdU-tdNAWPtKWGv_-KU_OM77MC_bgB8RQkdwnnvcofGgjFMSI6J6EBM33Qgjd2As2NnvZ5_CevZnfZedg2y7C3SUoegrUo5VbdAUx8NNigHlQ6_rNvf2rLSz7xRP6GbtwfbBpC-cbkmDqig4ywLoRjtrCfvJCi70CQTCtz__fgbee5zgajgMFt1DU1L43YC3-yAhAO3qt7-eYVAHNCBObw2CaBVt9cjltZ23kWPw6O9s9hbkGYhsp1x678G3kZsfcLIz9HYCz38oM8Rqr3YYyBMeFL7ccpQmslnI5WLJE2yyssrposjqLBkbmZWUZbQXfddnpeBVsaxEvuxzwUTO6iJRDaNsQbOspsu8ZFkqu6qiglEuS8xlXpOc4o4rnWp92IVzTZRzMzZl4CSaC9QuXpOMGXyBCBLGwq05NYHzJObBkZxq5by7dfHK63i_xuDHYKru5ma4yD59KXjfY-fdzcHof-UuYUnmSTf_yaXy4yzSzu4Ia4OGy8_TfrL_YOcJa6NyR1gbJ_s3AAD___Rjvso">