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

    <tr>
        <th>Summary</th>
        <td>
            [llvm-cov][MC/DC][Qualification] Boolean Terms with == are not analyzed correctly for MCDC coverage
        </td>
    </tr>

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

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

    <tr>
      <th>Reporter</th>
      <td>
          escherle-validas
      </td>
    </tr>
</table>

<pre>
    # Boolean Terms with == are not analyzed correctly for MCDC coverage
## Criticality: HIGH
During qualification of MCDC coverage at Validas we found that
In the following example the term “(v0==v1) && v2” is not analyzed correctly.
the equals operator "==" takes two boolean inputs and produces a boolean output.
Therefore it has to be instrumented as well such that the impact from v0 to the result can be analyzed.
This results in a wrongly calculated MCDC coverage measured by LLVMCov.
Note: In plain C there is no native boolean type defined, therefore instrumentation is restricted to && and ||,
but for C++ and Rust the boolean type exists and therefore operators on it should be considered for MCDC coverage. 
The problem occurs within Rust and C++.

Rust example:
Source Code and generated Reports:
[Test_000007.zip](https://github.com/user-attachments/files/17128975/Test_000007.zip)

C++ example:
Source Code and generated Reports:
[Test_000007.zip](https://github.com/user-attachments/files/17129027/Test_000007.zip)



</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzMVc2O2zYQfhr6MpAh0aItHXyI5bgJkBRIush1QZEjiy1FqvyR4zx9Qcn2dlu0AYIeulhQNjn65vshTe69OhvEPWEHwo4rHkNv3R696NFpzCauleR-1Vp53RO6gYO1GrmBJ3SDh4sKPZDNkWyOwB2CsQG44fr6DSUI6xyKoK_QWQcfm2MDwk7o-BlJfiT5G0I3CbJxKijBtQpXsnkD797_9G5ZP0anzBl-j1yrTgkelDVgu9dQwAN8WVjCBaGz0UgIPQ8LxnsDoU_TWttLQsOvfBg1zrMB3QDkLSVVTuqG0GrKFzFTQWgNhG4J3cJE7yVHUP4fNK6XdgkVE2EPdkTHg3VAKF1QCaUQ-G_oIVwstDcnlRlj8MCNhNFZGQV64I9VG8MYww39qUeHnXUIKkDPPQQLLYIyPrg4oAkoYbZBa_BR9LMPs1I1jFwE6JwdYMrTe2nWoY86gOAmwdxFPZopf6vwoAxwuDhrzvoKgmsRNU_dXkcxIPfRoYT2Ch8-fPnY2OkG9rMNmMJ9b2DUXBloEoEkJBkKhgc14UN0uI4IEjtlUBJ6K110P6Quu2GhGJwSiU2w98ySm2TXpH_aLBTaGOaN2BB6IPQwl3yOfvHnVWf8qvwtkZfO9zg9pLYBfG-jlsk3YY1XEpPuv230NTySS-m2GgewQkS3nB1lFgqp1Y3XzbBlnBdvO5Zs3tyPTUHY4e2nZ2vwmQc7PLvoA2FHQqs-hNGnSnoi9HRWoY_tWtiB0FP06DIeAhd98s8TeuLe4_wBS96WdVVkW9a2WSnbMqs2eZ0J3rJtx7e0LDih9dL_FxudQGisxJn4GU2yBiV8xtG64F-YssMT-vCcp7_d-psaf4RlpzSmZ7EraFXvGKGnv6LeqS3jPeHvGyfGH2L08K1mnSxLmWdlhzQrCyazOu-KrKqQs1KyclNs_xe-1Tndfde3ZVzJ_UbWm5qvcF_s6I6yilVs1e_zkm-xZVgLWfJdTbe8qFrBaFHmObJqu1J7mtMyrykr8nyTl2vRlVR0O4ZVKeuClqTMceBKr7WehrV155XyPuK-yOu63K00b1H7-Sqi1OAF5tX088mOK7dPL2VtPHtS5jqd0BeYoIKe77C5Rtgp-cUOHxtCT8dm-fLpz9cIYcf_6CpbRaf3_xJMYnR7ZKOzv6IIhJ5mZXM4i_RpT_8IAAD__7acamQ">