Re: [RESEND PATCH 1/1] Coccinelle: array_size: report even if include is missing

2018-01-01 Thread Julia Lawall
On Mon, 1 Jan 2018, Masahiro Yamada wrote: > 2017-12-30 3:14 GMT+09:00 Jérémy Lefaure : > > Rule r does not depend on rule i (which is the include of > > linux/kernel.h) so the output should not depend on i in > > org and report mode. > > > > Signed-off-by: Jérémy Lefaure > > Acked-by: Julia La

Re: [RESEND PATCH 1/1] Coccinelle: array_size: report even if include is missing

2018-01-01 Thread Masahiro Yamada
2017-12-30 3:14 GMT+09:00 Jérémy Lefaure : > Rule r does not depend on rule i (which is the include of > linux/kernel.h) so the output should not depend on i in > org and report mode. > > Signed-off-by: Jérémy Lefaure > Acked-by: Julia Lawall > --- Applied to linux-kbuild/misc. Thanks! --

Re: [RESEND PATCH 1/1] Coccinelle: array_size: report even if include is missing

2017-12-29 Thread Julia Lawall
On Fri, 29 Dec 2017, Jérémy Lefaure wrote: > Rule r does not depend on rule i (which is the include of > linux/kernel.h) so the output should not depend on i in > org and report mode. > > Signed-off-by: Jérémy Lefaure > Acked-by: Julia Lawall Re-Acked-by: Julia Lawall > --- > > scripts/co

[RESEND PATCH 1/1] Coccinelle: array_size: report even if include is missing

2017-12-29 Thread Jérémy Lefaure
Rule r does not depend on rule i (which is the include of linux/kernel.h) so the output should not depend on i in org and report mode. Signed-off-by: Jérémy Lefaure Acked-by: Julia Lawall --- scripts/coccinelle/misc/array_size.cocci | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) di