about summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--ChangeLog34
-rw-r--r--bits/uintn-identity.h50
-rw-r--r--inet/Makefile2
-rw-r--r--inet/netinet/in.h9
-rw-r--r--inet/test-hnto-types.c39
-rw-r--r--string/Makefile5
-rw-r--r--string/endian.h25
-rw-r--r--string/test-endian-types.c49
8 files changed, 194 insertions, 19 deletions
diff --git a/ChangeLog b/ChangeLog
index f06c02a3c6..d86a9c76f4 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,37 @@
+2017-01-11  Joseph Myers  <joseph@codesourcery.com>
+
+	[BZ #16458]
+	* bits/uintn-identity.h: New file.
+	* inet/netinet/in.h: Include <bits/uintn-identity.h>.
+	[__BYTE_ORDER == __BIG_ENDIAN] (ntohl): Use __uint32_identity.
+	[__BYTE_ORDER == __BIG_ENDIAN] (ntohs): Use __uint16_identity.
+	[__BYTE_ORDER == __BIG_ENDIAN] (htonl): Use __uint32_identity.
+	[__BYTE_ORDER == __BIG_ENDIAN] (htohs): Use __uint16_identity.
+	* string/endian.h: Include <bits/uintn-identity.h>.
+	[__BYTE_ORDER == __LITTLE_ENDIAN] (htole16): Use
+	__uint16_identity.
+	[__BYTE_ORDER == __LITTLE_ENDIAN] (le16toh): Likewise.
+	[__BYTE_ORDER == __LITTLE_ENDIAN] (htole32): Use
+	__uint32_identity.
+	[__BYTE_ORDER == __LITTLE_ENDIAN] (le32toh): Likewise.
+	[__BYTE_ORDER == __LITTLE_ENDIAN] (htole64): Use
+	__uint64_identity.
+	[__BYTE_ORDER == __LITTLE_ENDIAN] (le64toh): Likewise.
+	[__BYTE_ORDER != __LITTLE_ENDIAN] (htobe16): Use
+	__uint16_identity.
+	[__BYTE_ORDER != __LITTLE_ENDIAN] (be16toh): Likewise.
+	[__BYTE_ORDER != __LITTLE_ENDIAN] (htobe32): Use
+	__uint32_identity.
+	[__BYTE_ORDER != __LITTLE_ENDIAN] (be32toh): Likewise.
+	[__BYTE_ORDER != __LITTLE_ENDIAN] (htobe64): Use
+	__uint64_identity.
+	[__BYTE_ORDER != __LITTLE_ENDIAN] (be64toh): Likewise.
+	* string/Makefile (headers): Add bits/uintn-identity.h.
+	(tests): Add test-endian-types.
+	* string/test-endian-types.c: New file.
+	* inet/Makefile (tests): Add test-hnto-types.
+	* inet/test-hnto-types.c: New file.
+
 2016-01-11  Siddhesh Poyarekar  <siddhesh@sourceware.org>
 
 	* po/be.po: Update from Translation Project.
diff --git a/bits/uintn-identity.h b/bits/uintn-identity.h
new file mode 100644
index 0000000000..d2152c283a
--- /dev/null
+++ b/bits/uintn-identity.h
@@ -0,0 +1,50 @@
+/* Inline functions to return unsigned integer values unchanged.
+   Copyright (C) 2017 Free Software Foundation, Inc.
+   This file is part of the GNU C Library.
+
+   The GNU C Library is free software; you can redistribute it and/or
+   modify it under the terms of the GNU Lesser General Public
+   License as published by the Free Software Foundation; either
+   version 2.1 of the License, or (at your option) any later version.
+
+   The GNU C Library is distributed in the hope that it will be useful,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+   Lesser General Public License for more details.
+
+   You should have received a copy of the GNU Lesser General Public
+   License along with the GNU C Library; if not, see
+   <http://www.gnu.org/licenses/>.  */
+
+#if !defined _NETINET_IN_H && !defined _ENDIAN_H
+# error "Never use <bits/uintn-identity.h> directly; include <netinet/in.h> or <endian.h> instead."
+#endif
+
+#ifndef _BITS_UINTN_IDENTITY_H
+#define _BITS_UINTN_IDENTITY_H 1
+
+#include <bits/types.h>
+
+/* These inline functions are to ensure the appropriate type
+   conversions and associated diagnostics from macros that convert to
+   a given endianness.  */
+
+static __inline __uint16_t
+__uint16_identity (__uint16_t __x)
+{
+  return __x;
+}
+
+static __inline __uint32_t
+__uint32_identity (__uint32_t __x)
+{
+  return __x;
+}
+
+static __inline __uint64_t
+__uint64_identity (__uint64_t __x)
+{
+  return __x;
+}
+
+#endif /* _BITS_UINTN_IDENTITY_H.  */
diff --git a/inet/Makefile b/inet/Makefile
index 2c2d426189..010792af8f 100644
--- a/inet/Makefile
+++ b/inet/Makefile
@@ -52,7 +52,7 @@ aux := check_pf check_native ifreq
 tests := htontest test_ifindex tst-ntoa tst-ether_aton tst-network \
 	 tst-gethnm test-ifaddrs bug-if1 test-inet6_opt tst-ether_line \
 	 tst-getni1 tst-getni2 tst-inet6_rth tst-checks tst-checks-posix \
-	 tst-sockaddr tst-inet6_scopeid_pton
+	 tst-sockaddr tst-inet6_scopeid_pton test-hnto-types
 
 include ../Rules
 
diff --git a/inet/netinet/in.h b/inet/netinet/in.h
index 419e119172..365bc6878e 100644
--- a/inet/netinet/in.h
+++ b/inet/netinet/in.h
@@ -383,6 +383,7 @@ extern uint16_t htons (uint16_t __hostshort)
 
 /* Get machine dependent optimized versions of byte swapping functions.  */
 #include <bits/byteswap.h>
+#include <bits/uintn-identity.h>
 
 #ifdef __OPTIMIZE__
 /* We can optimize calls to the conversion functions.  Either nothing has
@@ -391,10 +392,10 @@ extern uint16_t htons (uint16_t __hostshort)
 # if __BYTE_ORDER == __BIG_ENDIAN
 /* The host byte order is the same as network byte order,
    so these functions are all just identity.  */
-# define ntohl(x)	(x)
-# define ntohs(x)	(x)
-# define htonl(x)	(x)
-# define htons(x)	(x)
+# define ntohl(x)	__uint32_identity (x)
+# define ntohs(x)	__uint16_identity (x)
+# define htonl(x)	__uint32_identity (x)
+# define htons(x)	__uint16_identity (x)
 # else
 #  if __BYTE_ORDER == __LITTLE_ENDIAN
 #   define ntohl(x)	__bswap_32 (x)
diff --git a/inet/test-hnto-types.c b/inet/test-hnto-types.c
new file mode 100644
index 0000000000..b9770352ca
--- /dev/null
+++ b/inet/test-hnto-types.c
@@ -0,0 +1,39 @@
+/* Test netinet/in.h endian-conversion macros always return the correct type.
+   Copyright (C) 2017 Free Software Foundation, Inc.
+   This file is part of the GNU C Library.
+
+   The GNU C Library is free software; you can redistribute it and/or
+   modify it under the terms of the GNU Lesser General Public
+   License as published by the Free Software Foundation; either
+   version 2.1 of the License, or (at your option) any later version.
+
+   The GNU C Library is distributed in the hope that it will be useful,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+   Lesser General Public License for more details.
+
+   You should have received a copy of the GNU Lesser General Public
+   License along with the GNU C Library; if not, see
+   <http://www.gnu.org/licenses/>.  */
+
+#include <netinet/in.h>
+#include <stdint.h>
+
+int i;
+uint16_t u16;
+uint32_t u32;
+
+int
+do_test (void)
+{
+  /* This is a compilation test.  */
+  extern __typeof (htons (i)) u16;
+  extern __typeof (ntohs (i)) u16;
+  extern __typeof (htonl (i)) u32;
+  extern __typeof (ntohl (i)) u32;
+  (void) u16;
+  (void) u32;
+  return 0;
+}
+
+#include <support/test-driver.c>
diff --git a/string/Makefile b/string/Makefile
index 04e9da951e..7b3afa01ae 100644
--- a/string/Makefile
+++ b/string/Makefile
@@ -25,7 +25,7 @@ include ../Makeconfig
 headers	:= string.h strings.h memory.h endian.h bits/endian.h \
 	   argz.h envz.h byteswap.h bits/byteswap.h bits/byteswap-16.h \
 	   bits/string.h bits/string2.h bits/string3.h \
-	   bits/strings_fortified.h
+	   bits/strings_fortified.h bits/uintn-identity.h
 
 routines	:= strcat strchr strcmp strcoll strcpy strcspn		\
 		   strverscmp strdup strndup				\
@@ -56,7 +56,8 @@ tests		:= tester inl-tester noinl-tester testcopy test-ffs	\
 		   tst-strtok tst-strxfrm bug-strcoll1 tst-strfry	\
 		   bug-strtok1 $(addprefix test-,$(strop-tests))	\
 		   bug-envz1 tst-strxfrm2 tst-endian tst-svc2		\
-		   tst-strtok_r bug-strcoll2 tst-cmp tst-xbzero-opt
+		   tst-strtok_r bug-strcoll2 tst-cmp tst-xbzero-opt	\
+		   test-endian-types
 
 xtests = tst-strcoll-overflow
 
diff --git a/string/endian.h b/string/endian.h
index 18e67085b4..dcc9a65df7 100644
--- a/string/endian.h
+++ b/string/endian.h
@@ -58,37 +58,38 @@
 #if defined __USE_MISC && !defined __ASSEMBLER__
 /* Conversion interfaces.  */
 # include <bits/byteswap.h>
+# include <bits/uintn-identity.h>
 
 # if __BYTE_ORDER == __LITTLE_ENDIAN
 #  define htobe16(x) __bswap_16 (x)
-#  define htole16(x) (x)
+#  define htole16(x) __uint16_identity (x)
 #  define be16toh(x) __bswap_16 (x)
-#  define le16toh(x) (x)
+#  define le16toh(x) __uint16_identity (x)
 
 #  define htobe32(x) __bswap_32 (x)
-#  define htole32(x) (x)
+#  define htole32(x) __uint32_identity (x)
 #  define be32toh(x) __bswap_32 (x)
-#  define le32toh(x) (x)
+#  define le32toh(x) __uint32_identity (x)
 
 #  define htobe64(x) __bswap_64 (x)
-#  define htole64(x) (x)
+#  define htole64(x) __uint64_identity (x)
 #  define be64toh(x) __bswap_64 (x)
-#  define le64toh(x) (x)
+#  define le64toh(x) __uint64_identity (x)
 
 # else
-#  define htobe16(x) (x)
+#  define htobe16(x) __uint16_identity (x)
 #  define htole16(x) __bswap_16 (x)
-#  define be16toh(x) (x)
+#  define be16toh(x) __uint16_identity (x)
 #  define le16toh(x) __bswap_16 (x)
 
-#  define htobe32(x) (x)
+#  define htobe32(x) __uint32_identity (x)
 #  define htole32(x) __bswap_32 (x)
-#  define be32toh(x) (x)
+#  define be32toh(x) __uint32_identity (x)
 #  define le32toh(x) __bswap_32 (x)
 
-#  define htobe64(x) (x)
+#  define htobe64(x) __uint64_identity (x)
 #  define htole64(x) __bswap_64 (x)
-#  define be64toh(x) (x)
+#  define be64toh(x) __uint64_identity (x)
 #  define le64toh(x) __bswap_64 (x)
 # endif
 #endif
diff --git a/string/test-endian-types.c b/string/test-endian-types.c
new file mode 100644
index 0000000000..86a89324f7
--- /dev/null
+++ b/string/test-endian-types.c
@@ -0,0 +1,49 @@
+/* Test endian.h endian-conversion macros always return the correct type.
+   Copyright (C) 2017 Free Software Foundation, Inc.
+   This file is part of the GNU C Library.
+
+   The GNU C Library is free software; you can redistribute it and/or
+   modify it under the terms of the GNU Lesser General Public
+   License as published by the Free Software Foundation; either
+   version 2.1 of the License, or (at your option) any later version.
+
+   The GNU C Library is distributed in the hope that it will be useful,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+   Lesser General Public License for more details.
+
+   You should have received a copy of the GNU Lesser General Public
+   License along with the GNU C Library; if not, see
+   <http://www.gnu.org/licenses/>.  */
+
+#include <endian.h>
+#include <stdint.h>
+
+int i;
+uint16_t u16;
+uint32_t u32;
+uint64_t u64;
+
+int
+do_test (void)
+{
+  /* This is a compilation test.  */
+  extern __typeof (htobe16 (i)) u16;
+  extern __typeof (htole16 (i)) u16;
+  extern __typeof (be16toh (i)) u16;
+  extern __typeof (le16toh (i)) u16;
+  extern __typeof (htobe32 (i)) u32;
+  extern __typeof (htole32 (i)) u32;
+  extern __typeof (be32toh (i)) u32;
+  extern __typeof (le32toh (i)) u32;
+  extern __typeof (htobe64 (i)) u64;
+  extern __typeof (htole64 (i)) u64;
+  extern __typeof (be64toh (i)) u64;
+  extern __typeof (le64toh (i)) u64;
+  (void) u16;
+  (void) u32;
+  (void) u64;
+  return 0;
+}
+
+#include <support/test-driver.c>