Re: [cocci] linux-next: virtual rule report not supported

Markus Elfring
2025-01-23T12:06:19Z

> While trying out linux-next I have hit an error in cocci:
>
> $make coccicheck M="$dir" MODE=report
> ...
> /usr/bin/spatch -D report --no-show-diff --very-quiet --cocci-file
> /workdir/scripts/coccinelle/misc/secs_to_jiffies.cocci --patch
> /workdir --dir . -I /workdir/arch/x86/include -I
> /workdir/arch/x86/include/generated -I /workdir/include -I
> /workdir/include -I /workdir/arch/x86/include/uapi -I
> /workdir/arch/x86/include/generated/uapi -I /workdir/include/uapi -I
> /workdir/include/generated/uapi --include
> /workdir/include/linux/compiler-version.h --include
> /workdir/include/linux/kconfig.h --jobs 64 --chunksize 1
> virtual rule report not supported
> coccicheck failed
> make[1]: Leaving directory '/workdir/drivers/media'
> make[2]: *** [/workdir/Makefile:2094: coccicheck] Error 255
> make[1]: *** [/workdir/Makefile:251: __sub-make] Error 2
> make: *** [Makefile:251: __sub-make] Error 2
>
> Deleting scripts/coccinelle/misc/secs_to_jiffies.cocci "works"

Would you like to increase the development attention for better support
of involved operation modes?
https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/Documentation/dev-tools/coccinelle.rst?h=v6.13#n71

Regards,
Markus