On Sun, 14 Nov 2010, Vasiliy Kulikov wrote:

> On Sat, Nov 13, 2010 at 14:41 +0100, Julia Lawall wrote:
> > On Thu, 4 Nov 2010, Vasiliy Kulikov wrote:
> > > "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.
> > 
> > Actually, this was all already implemented.  It's even in the manual :)
> > -int_bits n and -long_bits n
> 
> But not -size_t_bits: sizeof(long) == 4 < sizeof(size_t) == 8 == 
> sizeof(void*) on Win64.

What would be done with this information?  int_bits etc is being used to 
classify constant integers.  Is the goal that eg 12 should also be 
inferred to be a size_t, if it is within the right number of bits?

julia
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)

Reply via email to