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

    <tr>
        <th>Summary</th>
        <td>
            MCDC coverage does not work for negation of (sub-)terms like “(!(v0 && v1))”
        </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>
    Criticality: HIGH
During qualification of MCDC coverage at Validas we found that
In the following example the term “(!(v0 && v1))” is not evaluated correctly.
We observed that the expected results are wrongly computed in the test vector line, for example v0=T, v1=T
the expected result should be F but is compouted to T


This is confusing, since other terms like (v0 && (v1 || v2)) and ((v0 && v1) || v2)) are evaluated correctly.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyUU01vpDgQ_TXFpUQLG_N14JB0b29y2Fu0ezZQgDduu8cfdPrfj6BbmWQmGmkkBKZcrvfKr570Xk2GqIXiEYpDImOYrWvJ9zM5TekitRqkTzo7XNu9U0H1UqtwhfwBn57_foLsANnDITplJvwWpVaj6mVQ1qAd8Z_9YY-9XcjJiVAG_PdWDi-Eo41mwDDLcKvxbDDMa1hre1mr0Zs8nTVt0UDuhPAXhzqDZg-8Bs6A10uGwEvgJS4MeLM-95wDKo_GBqRF6igDDdhb56gP-rq7Af5HaDtPbqEbjQ2I3s7Ur9mOfNTBo3SEF2fNpK_Y29M5rpvK3Fn5gAv1wTrUyhDwPY7WvTNfMsgPL2t0Ydtqw_0CBv1sox6wIzxiF8NKfgWzG1qweD96f3MGxePk5KheoTgAr-cQzh7yB-BH4MdJhTl2u96egB-jJ5fKEGQ_n8gED_wovadt0RBVHTGZyqKuU1GWRSrrgtKszFlfD3VT8Gq90w_YL7PyN3ZmjF6Zae3OK9MT2jCT25TyqNUr4SeB1h-GUO2h2uPCb2qhNANuav4s5a-Zjr7UMhnafGjyRibUsoo3ZVUyUSdzKwTjGRuFrPKmGrq-ls2YCRqGppJCMpGolmdcsIznWZMXot51WVfxghWU16IUIgeR0UkqvdN6Oe2smxLlfaSWsVzkRaJlR9pvxuHc0AW3XeB89ZFr10NpFycPItPKB_-jTFBBU_vZHIOl28BerHvdpsjQ9G4k4LWPXQq8-Xi_f-KHJDrd_mZOVnL3T3p29n_qA_Dj1tI6Kveel5Z_DwAA__-aGUwg">