On Thu, 4 Nov 2010, Vasiliy Kulikov wrote:
> 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".
OK, thanks! I will fix it.
julia
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
