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

    <tr>
        <th>Summary</th>
        <td>
            [llvm-cov][MC/DC][Qualification] No MCDC coverage measured for minimal expressions
        </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>
    # Number: 1
## No MCDC coverage measured for minimal expressions
## Criticality: HIGH
During qualification of MCDC coverage at Validas we found that 
no MCDC coverage is measured when there is a boolean term consisting only of one atom.
In the case of a single element MCDC is defined and should be measured.
In the attached example the term "if (v0)" is not instrumented at all for MCDC.
The problem occurs within Rust and C++ (see attached reduced examples).

Rust example


C++ example:

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyklE-PpDYTxj-NuZRoQYEHOHCY7la_u4d9o0RRritjF40jY3f8p2fn20eGnszsKooU5WLAhZ_nV1UqixD01RKNjB8ZPxcixcX5kYJcyBsq78JoJUIxOfU6Mmzg_2mdyLPmGWpWnVn1zLDZ9h18OZ1PIN2dvLgSrCRC8qRgdh5WbfUqDNC3m6cQtLPhu9Mnr6OWwuj4mqU_ff7fpz1-Tl7bK_yRhNGzliJqZ8HNP3iJCL_toPBCMLtkFcRFRNhF7I9sOrzjvSxkIS7kt20Bk3OGhIVIfgXpbNAhZgRnzWt2djb7ufWwa3_eDoMUgXJUQND2agjI0Eo27sY6gKJZW1IgrIKwuGQUTO9F-l5MxCjkQgrom1hvhrbNjYch6hkY9veK4cAQs7R1EbQN0afsmD0iCGO2wmf7h_ivC8HNu8nQCk7K5AO86LhoC7-kEDewE8Mjw2M2CPSBw5NK8p0nMBweovu6CTyCb32tGT_-ZOlrrtVXn0Jk_MywX2K8BdY8M7wwvFx1XNJ0kG5leEmBfLl75kQCw4sIgbYX6p6w7WRXdkPzVLaym8qpG7qyHmYlsGtE37a5Ih-g9vUtpTe65vlvAeXt9p_4-JPCAbEr1dTOZTvXVTnJeS6l6vtqaIamQ_qLr1Bjo4ZmEAWNdYcd8rbrebGME_F-7gSv-qlTXaXmXk49x0apoSFet4UescK2GpBXPR9afugnLisSk6xrMfBZsLaiVWhzMOa-Hpy_FjqERGNdDUNTFUZMZMI27IiWXmCLMsQ8-37Mh8opXQNrK6NDDO8yUUez3RLbP9Ldc7n48cuJ4eV82j9-_jiljJ___aVQJG_Gf2hBNn88ypt3v5OMDC9bErkLjyzvI_4ZAAD__zevisU">