On Fri, Dec 16, 2011 at 10:33:10PM +0100, Julia Lawall wrote: > On Fri, 16 Dec 2011, Josh Triplett wrote: > >On Fri, Dec 16, 2011 at 10:08:40PM +0100, Lars-Peter Clausen wrote: > >>On 12/16/2011 09:37 PM, Julia Lawall wrote: > >>>>@@ bool x; @@ > >>>>- !!x > >>>>+ x > >>> > >>>I don't think there is a bool type in C... > >>> > >>There is a _Bool type in C99. And bool is usually a typedef for _Bool which > >>can > >>be found in stdbool.h > > > >And the Linux kernel supports that bool type. > > In what way? Is it the return type of !? Of && and ||? Something else?
I just meant that the bool type exists in the kernel. Various functions (such as is_idle_task) have it as their return type. The return type of !, &&, and || falls in the domain of the C standard, and I don't know what it picks. - Josh Triplett _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
