Subject: bug#23261: 25.0.92; Undefined behavior in lib/stdint.h

From: Eli Zaretskii <[email-masked]>
Date: Sun, 10 Apr 2016 18:05:46 +0300

> From: Philipp Stephani <[email-masked]>
> Date: Sun, 10 Apr 2016 15:51:31 +0200
> 
> Could we maybe just remove stdint.h completely?  It should always be
> provided by the standard C library.

If you have lib/stdint.h, it means the configure script found the one
that came with your library deficient in some sense; look in
config.log to see why.  E.g., on my system lib/stdint.h is not
generated and not used.