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

    <tr>
        <th>Summary</th>
        <td>
            [llvm-cov][MC/DC][Qualification] Wrong computation of conditions
        </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>
    # Wrong computation of conditions
## Criticality: MEDIUM
In the attached example there are 10 conditions, however the tool 
a) splits up the entire decision in 2 separate decisions with 3 conditions each (for C++) and 
b) computes only 3 conditions (for Rust).
Also the specified "positions" are wrong, i.e. do not point to the right places.
Furthermore it is critical, that Rust and C++ differ.

Rust:

Source code and generated reports:
[Test_000010.zip](https://github.com/user-attachments/files/17145245/Test_000010.zip)

C++

Source code and generated reports:
[Test_000010.zip](https://github.com/user-attachments/files/17145259/Test_000010.zip)

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzMVE2P6yYU_TV4c-UIru04LLyYJI30FrPol7ocYbiOqYixAGc6_fWVcaYzr4v3pLeqZBkD9xzOOVhXxWivE1HHmiNrzoVa0uhDR1GPFByVd-WsUbHovXnrGFbwR_DTFbS_zUtSyfoJ_ADaT8auk8j4mfEnhtVaewo2Wa2cTW-seoLnn85ffn_eKr5MkEYClZLSIxmgv9RtdrQuBgIVCAT_TIsnGP0r3SlkXPLewcakGEqIs7MpwjLnXZqSDQSGtI2rQjsBQqRZBZU-liO82jRC9ekYIKVHYHgYfIATw2N-JKjJPE7r1-nmniL4yb19TfDA_rLExFDuNtCTiz4LizNpO1gywBBnH9_NYXb8uka7OrU72oHxMPkEs7dTgrThg72OCWanNMUH92UJa2Y3HwhsAhtBP1JfmdKoUhaTLTwcgbHDQOFBsL2z4Orp_foEa47au-U2xRc_vHwYfAlrYXNmeBhTmuOKwQvDy9Wmcel32t8YXpZIodzu9kZTigwvKkbKH7KpBiLRlkO_12Xd97I8CBLlIOtWtPXQ80EylJ_F_eqXoAm0N5R9XGmi9SoNBJp9SPFDeXP8jWJ64ZxzwXd_2_lHtA7W0TqKVtQN1g3Dy39Zvxb4_qt8Nz09_5Cgf8Pba1UpLttykBWV9X6oy54MlWZQvJb71jTt4X8VXiO_EV5husrISqqCOtFiW1US27YYO6nEgbdSDNgoFEpUuq56I_Zm3xyqWprCdsix5hL3_IBt0-5U3ex1bbSQQjVVy1nN6aas2zl3v-18uBY2xoU6ITiXvHCqJxdz00Oc6BXyLkNce2DoVlDZL9fIau5sTPGDJtnkcrfMNdrf14ya4_OJ4eV82iY_L8rZwercH1lz_l7TLJbgum-kvB71GMo5-D9JJ4aXLDknvXm6d_hPAAAA__8KKdSz">