https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91885
Rainer Orth <ro at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |ro at gcc dot gnu.org
--- Comment #6 from Rainer Orth <ro at gcc dot gnu.org> ---
(In reply to Christophe Lyon from comment #5)
> because the *int64_t types are not defined correctly for 32 bits targets.
Indeed:
typedef signed long int __int64_t;
typedef unsigned long int __uint64_t;
They should use long long/unsigned long long or (better yet)
__INT64_TYPE__/__UINT64_TYPE__
