[Cocci] problem with Hashtbl in badzero.cocci

2014-09-28 Thread Nicholas Mc Guire
HI ! make coccicheck in 3.16++ is failing on Debian 7.6 with make coccicheck MODE=report -C /usr/src/linux-stable/ M=/usr/src/read_msr make[1]: Entering directory `/usr/src/linux-stable' Please check for false positives in the output before submitting a patch. When using "patch" mode, careful

Re: [Cocci] problem with Hashtbl in badzero.cocci

2014-09-28 Thread Julia Lawall
On Sun, 28 Sep 2014, Nicholas Mc Guire wrote: > > HI ! > > make coccicheck in 3.16++ > is failing on Debian 7.6 with > > make coccicheck MODE=report -C /usr/src/linux-stable/ M=/usr/src/read_msr > make[1]: Entering directory `/usr/src/linux-stable' > > Please check for false positives in the out

Re: [Cocci] problem with Hashtbl in badzero.cocci

2014-09-28 Thread Nicholas Mc Guire
On Sun, 28 Sep 2014, Julia Lawall wrote: > On Sun, 28 Sep 2014, Nicholas Mc Guire wrote: > > > > > HI ! > > > > make coccicheck in 3.16++ > > is failing on Debian 7.6 with > > > > make coccicheck MODE=report -C /usr/src/linux-stable/ M=/usr/src/read_msr > > make[1]: Entering directory `/usr/src/

Re: [Cocci] problem with Hashtbl in badzero.cocci

2014-09-28 Thread Julia Lawall
On Sun, 28 Sep 2014, Nicholas Mc Guire wrote: > On Sun, 28 Sep 2014, Julia Lawall wrote: > > > On Sun, 28 Sep 2014, Nicholas Mc Guire wrote: > > > > > > > > HI ! > > > > > > make coccicheck in 3.16++ > > > is failing on Debian 7.6 with > > > > > > make coccicheck MODE=report -C /usr/src/linux-s

Re: [Cocci] problem with Hashtbl in badzero.cocci

2014-09-28 Thread Nicholas Mc Guire
On Sun, 28 Sep 2014, Julia Lawall wrote: > On Sun, 28 Sep 2014, Nicholas Mc Guire wrote: > > > On Sun, 28 Sep 2014, Julia Lawall wrote: > > > > > On Sun, 28 Sep 2014, Nicholas Mc Guire wrote: > > > > > > > > > > > HI ! > > > > > > > > make coccicheck in 3.16++ > > > > is failing on Debian 7.6