On Sat, 8 Nov 2014, Paolo Carlini wrote: > Good. Sorry, if I missed some relatively recent development: is now GCC > installing its own stdint.h on *all* the supported targets, thus we can safely
No; I sent a list of targets missing the information in <https://gcc.gnu.org/ml/gcc-patches/2013-06/msg00248.html> (possibly out of date now, but the goal there of unifying uint32_type_node and c_uint32_type_node etc. still applies). -- Joseph S. Myers jos...@codesourcery.com
