[Mingw-w64-public] Wrong definition of data type pid_t for 64 bit Windows?

[Stefan W. <sw...@we...>]

Hi,

currently, Mingw-w64 defines pid_t to be an int on 32 bit Windows,
but __int64 on 64 bit Windows:

mingw-w64-headers/crt/sys/types.h:typedef int   _pid_t;
mingw-w64-headers/crt/sys/types.h:typedef __int64       _pid_t;
mingw-w64-headers/crt/sys/types.h:typedef _pid_t        pid_t;

The relevant function getpid always return an int.
This return type and pid_t don't match on 64 bit Windows.

Are there good reasons why pid_t is not always an int for Windows?
Or should this be fixed in sys/types.h and also in
mingw-w64-libraries/winpthreads/include/pthread_compat.h?

Kind regards
Stefan Weil