This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [patch] Use GCC_HEADER_STDINT instead of stdint.h


Rafael Espindola <espindola@google.com> writes:

> Index: include/plugin-api.h
> ===================================================================
> --- include/plugin-api.h	(revision 152706)
> +++ include/plugin-api.h	(working copy)
> @@ -26,8 +26,17 @@
>  #ifndef PLUGIN_API_H
>  #define PLUGIN_API_H
>  
> +#ifdef HAVE_STDINT_H
>  #include <stdint.h>
> +#elif defined(HAVE_INTTYPES_H)
> +#include <inttypes.h>
> +#endif
>  #include <sys/types.h>
> +#if !defined(HAVE_STDINT_H) && !defined(HAVE_INTTYPES_H) && \
> +    !defined(UINT64_MAX) && !defined(uint64_t)
> +#error can not find uint64_t type
> +#endif
> +#include <sys/types.h>

The last line is a duplicate.

Andreas.

-- 
Andreas Schwab, schwab@redhat.com
GPG Key fingerprint = D4E8 DBE3 3813 BB5D FA84  5EC7 45C6 250E 6F00 984E
"And now for something completely different."


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]