https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90600
--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> --- In 325462 SDM vol 1-2abcd-3abcd in 3.1.1.10 Intel ® C/C++ Compiler Intrinsics Equivalents Section, it is actually written: "The declarations of Intel C/C++ compiler intrinsic functions may reference some non-standard data types, such as __int64. The C Standard header stdint.h defines similar platform-independent types, and the documentation for that header gives characteristics that apply to corresponding non-standard types according to the following table." __int64 int64_t unsigned __int64 uint64_t But I wonder how recent that section is (whether it hasn't been introduced years after GCC intrinsic headers made their choice).
