[Bug c++/107134] fatal error: stdint.h: No such file or directory for freestanding C++ toolchain

[redi at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107134

--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Although we could do:

#if ! _GLIBCXX_HOSTED
#include <stdint-gcc.h>
#else
#include_next <stdint.h>
#endif

to make it work.