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

    <tr>
        <th>Summary</th>
        <td>
            [Coverage][MC/DC] __builitin_expect may be handled as if parentheses
        </td>
    </tr>

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

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

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

<pre>
    ```C++
bool foo(bool a, bool b, bool c) {
 return a && __builtin_expect(b && c, true);
}
```

```
warning: unsupported MC/DC boolean expression; contains an operation with a nested boolean expression. Expression will not be covered
```

I think we may handle the example like `a && (b && c)` in MC/DC analysis.
Does anyone know other similar cases?
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJxkUs1u4zwMfBr6QjRw6MiJDz7k5zPwHfYZCspmYm0VyZDkpnn7hdw0xW4Bwh6B4mg4GI7RXJxIC-oA6lTwnEYf2n7kaXam0H64t1CXn3UEOuQq99p7i2fvgXYLZKAjLkg_UQ_UIGzzdQyS5uCQEagGqvH1Vc_GJuNe5WOSPmWer16fGVKYBaiBKo_D9pS_XzIy_vt44-CMu0C1x9nFeZp8SDLgryNQd_qUI-xQPqYgMRrvoDpg711i4yKyQz9J4GS8w5tJIzI6iZnh5-QK_3tivBlr0fmEWrD37xJk-Cn0f0yjcW94E7zyHUd2gxVMo6B88HWygta8CUJdPu35x44G6hKNe-7Dju09mriCcn_ykje4eyf45vwNfRolYDRXYzlgz1EiVF0xtNXQVA0X0q631bZpqGyoGFslVKmN6DWttT7XvV7vdqqsKyn1dhiEC9NSSapc03atqo2iFfOuqSula97o87nawaaUKxu7svb9uvLhUpgYZ2nXtFG1KixrsXHJF5GTGy5dIMpxC20eetHzJcKmtCam-E2TTLJLMI_ZWr4IqBOow8MFUKdHjMx3jhaHtTxMHpAjmjNOHMSlUaLEYg62HVOaIlR7oA6ou5g0znrV-ytQlx9__F6m4H8v2ewWyRGoe-z03tKfAAAA___-UgEL">