[RFC][Coverage] New algorithm and file format for MC/DC

chapuni · June 13, 2024, 12:36pm

Landed. Thanks.

[MC/DC][Coverage] Loosen the limit of NumConds from 6 (#82448)

committed 11:09AM - 13 Jun 24 UTC

By storing possible test vectors instead of combinations of conditions, the res…triction is dramatically relaxed. This introduces two options to `cc1`: * `-fmcdc-max-conditions=32767` * `-fmcdc-max-test-vectors=2147483646` This change makes coverage mapping, profraw, and profdata incompatible with Clang-18. - Bitmap semantics changed. It is incompatible with previous format. - `BitmapIdx` in `Decision` points to the end of the bitmap. - Bitmap is packed per function. - `llvm-cov` can understand `profdata` generated by `llvm-profdata-18`. RFC: https://discourse.llvm.org/t/rfc-coverage-new-algorithm-and-file-format-for-mc-dc/76798

I expect this will discover more issues in coverage.
Have fun!

Topic		Replies	Views
RFC: Source-based MC/DC Code Coverage LLVM Dev List Archives	14	2135	June 7, 2024
Adding support for LLVM Branch Condition Coverage LLVM Dev List Archives	7	251	January 24, 2020
How to get branch coverage by using 'source-based code coverage' LLVM Dev List Archives	6	284	May 6, 2020
asan coverage LLVM Dev List Archives	41	270	April 11, 2014
clang Testing Coverage Clang Frontend	2	97	August 29, 2008

[RFC][Coverage] New algorithm and file format for MC/DC

Related topics