On Fri, 16 Dec 2011, Josh Triplett wrote:
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.
I would imagine int, because the C compiler doesn't complain for !x&y.
If you only expect the !! rule to apply to the results of function calls
that return bool then the rule you proposed should be fine.
julia
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
