[llvm-bugs] [Bug 109930] [llvm-cov][MC/DC][Qualification] No MCDC coverage measured for minimal expressions

Wed, 25 Sep 2024 01:59:50 -0700

Issue 109930
Summary [llvm-cov][MC/DC][Qualification] No MCDC coverage measured for minimal expressions
Labels new issue
Assignees
Reporter escherle-validas 
    # 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
![One_atom_rust](https://github.com/user-attachments/assets/e76247c7-7936-4c7b-b797-19fda273a844)


C++ example:
![One_atom_cpp](https://github.com/user-attachments/assets/56d29227-db4f-4f10-bcff-cd880939372e)


_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs

Reply via email to