This series enables MC/DC for Xen when building with GCC.
Condition coverage, also known as MC/DC (modified condition/decision
coverage) is a coverage metric that tracks separate outcomes in
boolean expressions. This metric is used in critical software
components, so it natural to collect it for Xen.
First patch in the series ("xen: x86: irq: initialize irq desc in
create_irq()") deals with unexpected GCC issue, which is not exactly
related to the code coverage, as it can be reproduced just with -Og
optimization level. I have opened the bug here:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119665
This series support only GCC, although Clang, starting with clang 18.
supports similar feature. But Clang 18 uses raw profiling format
version 10, while Xen supports only version 4, and there are quite
substantial changes in headers and structures, so adding new version
format is non-trivial. Also, Xen built for aarch64 with clang 19.1.17
and code coverage enabled, completely hangs up during boot, so there
is clearly more work required.
Another problem with clang-based MC/DC support is that it has multiple
issues which will prevent use it in a meaningfull way:
https://github.com/llvm/llvm-project/issues?q=is%3Aissue%20state%3Aopen%20MC%2FDC
But at least we can have MC/DC with GCC/GCOV.
Changes in v4:
- one patch less, as "xen: gcov: add support for gcc 14" is merged already
- reworked irq.c fix back to original state (but with a comment this time)
- opened a GCC bug
- make COV_FLAGS -> cov-flags-y convertion as part of the second patch
Changes in v3:
- Check if gcc accepts -fcondition-coverage
- Clarify why we use do { } loop
- Add Jan's R-b tag for PATCH 1/3
Changes in v2:
- Check for gcc 14, not gcc 14.1
- Reworked irq.c patch
Volodymyr Babchuk (2):
xen: x86: irq: initialize irq desc in create_irq()
xen: debug: gcov: add condition coverage support
xen/Kconfig | 4 ++++
xen/Kconfig.debug | 9 +++++++++
xen/Rules.mk | 14 +++++++-------
xen/arch/x86/irq.c | 2 +-
4 files changed, 21 insertions(+), 8 deletions(-)
--
2.48.1
