https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106036
--- Comment #2 from Kacper Słomiński <kacper.slominski72 at gmail dot com> --- Okay, this seems to have been a false alarm, sorry for that! Our C library was missing the typedef for intptr_t in unistd.h, which POSIX does specify. After adding that, libgcc compiled without problems. It appears that the typedefs in gcc/gcov-io.h are either not compiled in at all, or are only compiled in when stdint.h has been included before (I haven't looked into which of the two happens exactly). Feel free to close this as RESOLVED INVALID and disregard the patch I sent to gcc-patches, and again, sorry for the false alarm.