| Issue |
109951
|
| Summary |
[llvm-cov][MC/DC][Qualification] Boolean Terms with XOR are not analyzed correctly for MCDC coverage
|
| Labels |
new issue
|
| Assignees |
|
| Reporter |
escherle-validas
|
# Boolean Terms with XOR 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 exclusive 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_000009.zip](https://github.com/user-attachments/files/17129197/Test_000009.zip)
C++ example:
Source Code and generated reports:
[Test_000009.zip](https://github.com/user-attachments/files/17129208/Test_000009.zip)
![]()
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
