Quoting Richard Earnshaw <rearn...@arm.com>:
I'm not convinced this is obvious. It's certainly ugly.
It's a common idiom.
I think the correct thing to do is to force all ARM targets to use a 64-bit HOST_WIDE_INT.
Of course, if you want to set need_64bit_hwint=yes for arm in config.gcc, and/or change the documentation that arm targets are not supported on certain hosts, that changes things, so I have backed out my change and leave you to do whatever you like with your port.
