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

    <tr>
        <th>Summary</th>
        <td>
            [llvm-cov][MC/DC][Qualfifcation] 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 note 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:
Source Code and generated reports:
[Test_000008.zip](https://github.com/user-attachments/files/17129108/Test_000008.zip)


C++:
Source Code and generated reports:
[Test_000008.zip](https://github.com/user-attachments/files/17129119/Test_000008.zip)


</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzMVV3PmzYU_jXOzRERHOAFLnLRkGat1FbqVvX2lTGH4M3YzB9J018_GZJ076Z1UrWLRREk9uE5z4eNuXPypIl2rNyz8rDhwY_G7siJkayi5MyV7LnbdKa_7hjmsDdGEdfwiezk4CL9CAwzlh-AWwJtPHDN1fUr9SCMtSS8usJgLLxvDy0IcybLT8TSA0tfMcwjZGull4Ir6a8sfwVv3v70Zp0_BCv1CX4PXMlBCu6l0WCGl1DAPXxeWcKFYDBB9-BH7leMtxr8GIeVMpeIRl_4NCtaRj3ZCdhrZHXKmpZhfU5XMeeMYQMMnxg-wRnvJQeQ7h80btd2EVUbT0CRtQMzk-XeWGCIKzRDBM9_Iwf-YqC72Sn1HLwDrnuYremDIAf8MWuCn4O_tfg0kqXBWALpYeQOvIGOQGrnbZhIe-ph8UIpcEGMixmLXDnNXHgYrJngnMbn4qglF5QHwXWEuSt7NJPuVuFAauBwsUaf1BUEVyIoHru9zGMi7oKlHrorvHv3-X1rzjewD8ZTTPithllxqaGNBKKQ6Cpo7uWZHqL9dSboaZCaeoa30lX3Q-q6JFaK3koR2XhzDy66yao2frFdKXTBL6uxZbhnuF9Kfg5u9edFZ_oi3S2Rb53vcTqIbT240QTVR9-E0U72FHX_bbVv4ZFcTLdTNIERIth1A0m9Uoitbrxu-2O5xjmWv7pvmYyV-w-vPz4bTc_cm-nZxvnywLAevZ9dLMUjw-NJ-jF0W2EmhsfgyCbcey7G6JtjeOTO0fKjzwqecuwS0WV5UmSFSJqubJKsq3hRdk1FTz3DZiXwiwlWELSmp4XwiXS0hHqwNBvr3Teq5f4TOf-cxk-9_SrnH2E5SEXxnlUZNllaMzz-FfVO7c_Xu4_f8U3MP0ToYRtihT0JTPK8qpOiLoqEdzklRT7w4qnGqq-H_4ltWfOvtm36Xd43ecM3tMsqrLCsmzTfjLsMsStQPHUl8jodKCUaSirqCintsirfyB2mWKQNllma1phva8ybjudZ0Q99jVXJipQmLtVWqfO0Nfa0kc4F2mVp05TpRvGOlFsOIERNF1hm4_uyPGzsLj6UdOHkWJGquCW_wXjp1XJyLTXCnKNT5f59y_B4aNc_HwNXgxzWw4OVh__oANsEq3bfiSQyut2S2ZpfSXiGx0XZEssq_bzDPwIAAP__nNdmTw">