https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65806
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2015-09-16
Ever confirmed|0 |1
--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> ---
(In reply to Jonathan Wakely from comment #2)
> Hmm, why doesn't GCC's own stdint.h solve this?
Because gcc/Makefile has:
# How to handle <stdint.h>.
USE_GCC_STDINT = none
which is because gcc/config.gcc never sets it. Easy to fix ...
