http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56771
--- Comment #6 from Chris Johns <chris at contemporary dot net.au> 2013-04-02 11:04:29 UTC --- It looks to me like libcpp/configure.ac is not setting 'need_64bit_hwint' to 'yes'. It looks like the RTEMS ptch to change arm-rtems*eabi to arm-rtems* needs to have this added.
