[gcc r13-3322] elf: ELF toolchain --without-{headers, newlib} should provide stdint.h

[gcc r13-3322] elf: ELF toolchain --without-{headers, newlib} should provide stdint.h

[Richard Biener]

https://gcc.gnu.org/g:f10b9f64133cbfb5ba06f4deb23766f92629bdd9

commit r13-3322-gf10b9f64133cbfb5ba06f4deb23766f92629bdd9
Author: Arsen Arsenovic <arsen@aarsen.me>
Date:   Mon Oct 17 08:58:07 2022 +0200

    elf: ELF toolchain --without-{headers, newlib} should provide stdint.h
    
    stdint.h is considered a freestanding headers by C, and a valid stdint.h
    is required for certain parts of libstdc++' configuration, so we should
    simply provide one when we have no other way (i.e. newlib or
    user-specified sysroot) of getting one.
    
            * config.gcc: --target=*-elf --without-{newlib,headers} should
            provide stdint.h.

Diff:
---
 gcc/config.gcc | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/gcc/config.gcc b/gcc/config.gcc
index 8d5972fecf7..2af30b4a6ec 100644
--- a/gcc/config.gcc
+++ b/gcc/config.gcc
@@ -1082,6 +1082,11 @@ case ${target} in
   # Assume that newlib is being used and so __cxa_atexit is provided.
   default_use_cxa_atexit=yes
   use_gcc_stdint=wrap
+
+  case "${with_newlib}-${with_headers}" in
+  no-no) use_gcc_stdint=provide ;;
+  *) ;;
+  esac
   ;;
 esac