PATCH: Cast to int32 first when casting pointer to int64

[Andreas Schwab]

"H.J. Lu" <hjl.tools@gmail.com> writes:

> +/* Cast an integer or a pointer VAL to integer with proper type.  */
> +#define cast_to_integer(val) ((__integer_if_pointer_type (val)) (val))

<sys/cdefs.h> is an installed header that is included in every other
header, so you need to mangle the macro name.

Andreas.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."