Hi Jan,
Jan Beulich writes:
> On 07.04.2025 18:46, Volodymyr Babchuk wrote:
>> --- a/xen/Rules.mk
>> +++ b/xen/Rules.mk
>> @@ -31,6 +31,7 @@ CFLAGS-y :=
>> AFLAGS-y :=
>> nocov-y :=
>> noubsan-y :=
>> +cov-flags-y :=
>
> Personally I would have put this slightly higher up, at least ahead of
On 08.04.2025 17:38, Volodymyr Babchuk wrote:
> Jan Beulich writes:
>> On 07.04.2025 18:46, Volodymyr Babchuk wrote:
>>> @@ -133,19 +134,18 @@ $(filter %.init.o,$(obj-y) $(obj-bin-y) $(extra-y)):
>>> CFLAGS-y += -DINIT_SECTIONS
>>>
>>> non-init-objects = $(filter-out %.init.o, $(obj-y) $(obj-b
On 07.04.2025 18:46, Volodymyr Babchuk wrote:
> --- a/xen/Rules.mk
> +++ b/xen/Rules.mk
> @@ -31,6 +31,7 @@ CFLAGS-y :=
> AFLAGS-y :=
> nocov-y :=
> noubsan-y :=
> +cov-flags-y :=
Personally I would have put this slightly higher up, at least ahead of the two
no*-y. Thinking of it only now (sorr
Condition coverage, also known as MC/DC (modified condition/decision
coverage) is a coverage metric that tracks separate outcomes in
boolean expressions.
This patch adds CONFIG_CONDITION_COVERAGE option to enable MC/DC for
GCC. Clang is not supported right now.
Also, use the opportunity to conver
