[RFC PATCH 3/3] llvm-cov: add Clang's MC/DC support

2024-08-24 Thread Wentao Zhang
Add Clang flags and kconfig options for measuring the kernel's modified condition/decision coverage (MC/DC). As of Clang 19, users can determine the max number of conditions in a decision to measure via option LLVM_COV_KERNEL_MCDC_MAX_CONDITIONS, which controls -fmcdc-max-conditions flag of Clang

[RFC PATCH 2/3] kbuild, llvm-cov: disable instrumentation in odd or sensitive code

2024-08-24 Thread Wentao Zhang
Disable instrumentation in the same areas that were disabled for kernel/gcov/ Signed-off-by: Wentao Zhang Signed-off-by: Chuck Wolber --- arch/x86/boot/Makefile| 1 + arch/x86/boot/compressed/Makefile | 1 + arch/x86/entry/vdso/Makefile | 1 + arch/x86/platform/efi/

[RFC PATCH 1/3] llvm-cov: add Clang's Source-based Code Coverage support

2024-08-24 Thread Wentao Zhang
Implement debugfs entries for serializing profiles and resetting counters/bitmaps. Also adds Source-based Code Coverage flags and kconfig options. This work reuses a portion of code from a previous effort by Sami Tolvanen et al. [1], specifically its debugfs interface and the underlying profile pr

[RFC PATCH 0/3] Enable measuring the kernel's Source-based Code Coverage and MC/DC with Clang

2024-08-24 Thread Wentao Zhang
This series adds support for building x86-64 kernels with Clang's Source- based Code Coverage[1] in order to facilitate Modified Condition/Decision Coverage (MC/DC)[2] that provably correlates to source code for all levels of compiler optimization. The newly added kernel/llvm-cov/ directory comple

[PATCH -next] um: Remove obsoleted declaration for execute_syscall_skas

2024-08-24 Thread Gaosheng Cui
The execute_syscall_skas() have been removed since commit e32dacb9f481 ("[PATCH] uml: system call path cleanup"), and now it is useless, so remove it. Signed-off-by: Gaosheng Cui --- arch/um/include/shared/skas/skas.h | 1 - 1 file changed, 1 deletion(-) diff --git a/arch/um/include/shared/skas