On Thu, Nov 04, 2010 at 19:00 +0100, Julia Lawall wrote:
> On Thu, 4 Nov 2010, Vasiliy Kulikov wrote:
> > (b) architecture-dependent sizeof(int)
>
> I would have no idea how to do this, because Coccinelle is not necessarily
> run on the architecture that the code is associated with. Perhaps the
> number of bits in an int could be a command line argument.
I'm OK with it. If you think it is consistent with coccinelle's
semantic, then I suggest to do this:
-sizeof-int={2,4,8,any}
-sizeof-long={2,4,8,any}
(I don't know any arch where sizeof(short) != 2 and where sizeof(long)
== 2, however.)
"any" is all combinations of possible sizeof()s (I mean not breaking
2 <= sizeof(short) <= sizeof(int) <= sizeof(long)).
Default value is some sane value for the current architecture, e.g.
gcc's choise.
Thanks,
--
Vasiliy
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
