[llvm-bugs] [Bug 110090] [llvm-cov][MC/DC][Qualification] Wrong computation of conditions

Thu, 26 Sep 2024 01:28:19 -0700

Issue 110090
Summary [llvm-cov][MC/DC][Qualification] Wrong computation of conditions
Labels new issue
Assignees
Reporter escherle-validas 
    # 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:
![columns_of_conditions_rust](https://github.com/user-attachments/assets/953fee17-fb6c-4bb9-81e1-f947174fb0f9)

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

C++
![columns_of_conditions_cpp](https://github.com/user-attachments/assets/6ca3a097-f93e-46f4-bede-dfa04967d578)

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


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

Reply via email to