On Mon, Nov 08, 2010 at 21:10 +0100, Julia Lawall wrote:
> On Mon, 8 Nov 2010, Vasiliy Kulikov wrote:
>
> > Hi,
> >
> > Similar type mistake:
> >
> > @@
> > int x;
> > @@
> >
> > *x
> >
> > --- main.c 2010-11-08 22:06:37.000000000 +0300
> > +++ /tmp/cocci-output-4087-147ea3-main.c 2010-11-08
> > 22:06:44.000000000 +0300
> > @@ -10,6 +10,4 @@ int
> > main(int argc, char **argv)
> > {
> > int *a, *b;
> > - a-b;
> > - return 0;
> > }
> > --
> >
> >
> > pointer - pointer is (strictly speaking ;)) is prtdiff_t. AFAIK it may
> > be OK to represent it as size_t.
>
> Isn't size_t unsigned?
Correct, I wanted to say ssize_t ;)
Thanks,
--
Vasiliy
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
