lua-users home
lua-l archive

[Date Prev][Date Next][Thread Prev][Thread Next] [Date Index] [Thread Index]


> (*1) C99 6.3.2.3 Pointers
> [...]
> 
> - (6) Any pointer type may be converted to an integer type. Except
>   as previously specified, the result is implementation-defined.
>   [...]
> 
> (*2) C99 7.18.1.4 Integer types capable of holding object pointers
> 
> - The following type designates a signed integer type with the
>   property that any valid pointer to void can be converted to
>   this type, then converted back to pointer to void, and the
>   result will compare equal to the original pointer:

Given that 7.18.1.4 comes after 6.3.2.3, rule *1 explicitly says that
what rule *2 says has an implementation-defined result ;)

-- Roberto