On Mon, 8 Apr 2019, [email protected] wrote:
> From: Jérôme Glisse <[email protected]>
>
> Signed-off-by: Jérôme Glisse <[email protected]>
Thanks for the contribution. It's now available on github.
For macros, it would be helpful to do the following:
spatch --parse-c linuxkernel
apply patch
spatch --parse-c linuxkernel
Observe an improvement in the numbers that are printed out at the end.
These look safe enough, though.
julia
> ---
> standard.h | 3 +++
> 1 file changed, 3 insertions(+)
>
> diff --git a/standard.h b/standard.h
> index d9200643..7ce601be 100644
> --- a/standard.h
> +++ b/standard.h
> @@ -368,6 +368,9 @@
> #define __releases(x)
> #define __acquires(x)
>
> +#define __must_hold(x)
> +#define __printf(a,b)
> +
> //now in lexer
> //#define __declspec(x)
>
> --
> 2.20.1
>
>
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
