Re: [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: > Hi, > > On Thu, 14 Sep 2017 13:21:13 +0200 (CEST) > Julia Lawall wrote: > > > On Wed, 13 Sep 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

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

2017-12-29 Thread Jérémy Lefaure
Hi, On Thu, 14 Sep 2017 13:21:13 +0200 (CEST) Julia Lawall wrote: > On Wed, 13 Sep 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 Lefau

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

2017-09-14 Thread Julia Lawall
On Wed, 13 Sep 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 I guess that if the incude is missing, the person u