Hi Paul,

> I view conversion from intptr_t to pointer as being in a 
> similar category: if we avoid these conversions now we will be saving some 
> work 
> in the future.

If you can't cast from 'void *' to 'uintptr_t' and back, the language is no
longer C any more. Indeed, with the added __bnd_* primitives, the language is
going to Ada way.

It will be useful to revisit the ca. 90 casts to [u]intptr_t that we have in 
gnulib
when the shape of the new language will become clearer. Maybe it will have
sizeof (type *) == 3 * sizeof (void *), who knows?

For now, given that the MPX stuff is considered experimental, I think it's too 
early
to rewrite code for its sake.

Bruno


Reply via email to