Hi,
I think coccinelle doesn't properly identify type of sizeof():
@@
constant int CE;
@@
* CE
--
--- main.c 2010-11-04 18:18:24.000000000 +0300
+++ /tmp/cocci-output-14456-2ae6c1-main.c 2010-11-04
18:18:47.000000000 +0300
@@ -9,5 +9,4 @@
int
main(int argc, char **argv)
{
- sizeof(int);
}
Strictly speaking, it is size_t. But AFAIK coccinelle doesn't initially
know anything about it, it should be "unsigned long".
--
Vasiliy
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
