Re: [Cocci] [PATCH v2 2/3] parsing_hacks: Add bool to list of known typedefs

2020-01-21 Thread Julia Lawall
On Tue, 21 Jan 2020, Jaskaran Singh wrote: > On Tue, 2020-01-21 at 11:10 +0100, Markus Elfring wrote: > > > Before: > > > passed:bool > > > > I wonder if subsequent duplicate information can really help to > > achieve a better understanding > > by the suggested description of a software situa

Re: [Cocci] [PATCH v2 2/3] parsing_hacks: Add bool to list of known typedefs

2020-01-21 Thread Jaskaran Singh
On Tue, 2020-01-21 at 11:10 +0100, Markus Elfring wrote: > > Before: > > passed:bool > > I wonder if subsequent duplicate information can really help to > achieve a better understanding > by the suggested description of a software situation. > Hm, I thought it would but you're probably right.

Re: [Cocci] [PATCH v2 2/3] parsing_hacks: Add bool to list of known typedefs

2020-01-21 Thread Markus Elfring
> Before: > passed:bool I wonder if subsequent duplicate information can really help to achieve a better understanding by the suggested description of a software situation. Regards, Markus ___ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.

[Cocci] [PATCH v2 2/3] parsing_hacks: Add bool to list of known typedefs

2020-01-21 Thread Jaskaran Singh
bool is widely used in the Linux kernel. Certain cases of parsing_hacks.ml would mislabel bool. Add bool to the list of known typedefs. Stats of --parse-c on Linux v5.5-rc4 are as follows: Before: nb good = 18956150, nb passed = 134062 => 0.70% passed After: nb good = 18956150,