https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83737
--- Comment #5 from Tom de Vries <vries at gcc dot gnu.org> --- (In reply to jos...@codesourcery.com from comment #4) > Most configurations (for which the libc used has a working stdint.h) > should probably be using use_gcc_stdint=wrap, so that GCC's stdint.h > includes libc's for hosted compilations but GCC's own for freestanding > compilations. *-*-elf configurations do, for example. I'd advise adding > that for nvptx. I've build nvptx using "use_gcc_stdint=wrap", and indeed that fixed the failure I'll do full testing and commit.