picnoir/glibc
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

Make padding in struct sockaddr_storage explicit [BZ #20111]

Browse source 
This avoids aliasing issues with GCC 6 in -fno-strict-aliasing
mode.  (With implicit padding, not all data is copied.)

This change makes it explicit that struct sockaddr_storage is
only 126 bytes large on m68k (unlike elsewhere, where we end up
with the requested 128 bytes).  The new test case makes sure that
this does not happen on other architectures.
This commit is contained in:
Florian Weimer 2016-05-23 19:43:09 +02:00
parent d912d3a119
commit 3375cfafa7
9 changed files with 213 additions and 15 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

23
ChangeLog
View file

@ -1,3 +1,26 @@
2016-05-23 Florian Weimer <fweimer@redhat.com>
[BZ #20111]
* bits/sockaddr.h (_SS_SIZE): Define.
* bits/socket.h (_SS_SIZE): Remove.
(_SS_PADSIZE): Adjust to account for all padding.
(struct sockaddr_storage): Update comment. Avoid implicit
padding.
* sysdeps/mach/hurd/bits/socket.h (_SS_SIZE): Remove.
(_SS_PADSIZE): Adjust to account for all padding.
(struct sockaddr_storage): Update comment. Avoid implicit
padding.
* sysdeps/unix/bsd/bits/sockaddr.h (_SS_SIZE): Define.
* sysdeps/unix/sysv/linux/bits/socket.h (_SS_SIZE): Remove.
(_SS_PADSIZE): Adjust to account for all padding.
(struct sockaddr_storage): Update comment. Avoid implicit
padding.
* sysdeps/unix/sysv/linux/m68k/bits/sockaddr.h: New file.
__SS_SIZE is 126 in this version.
* inet/tst-sockaddr.c: New file.
* inet/Makefile (tests): Add tst-sockaddr.c
(tst-sockaddr.c): Compile with non-strict aliasing.
2016-05-23 Joseph Myers <joseph@codesourcery.com>
* conform/data/limits.h-data (CHARCLASS_NAME_MAX): Also expect for

5
bits/sockaddr.h
View file

@ -1,4 +1,4 @@
/* Definition of `struct sockaddr_*' common members. Generic/4.2 BSD version.
/* Definition of struct sockaddr_* common members and sizes, generic version.
Copyright (C) 1995-2016 Free Software Foundation, Inc.
This file is part of the GNU C Library.
@ -36,4 +36,7 @@ typedef unsigned short int sa_family_t;
#define __SOCKADDR_COMMON_SIZE (sizeof (unsigned short int))
/* Size of struct sockaddr_storage. */
#define _SS_SIZE 128
#endif /* bits/sockaddr.h */

8
bits/socket.h
View file

@ -152,20 +152,20 @@ struct sockaddr
/* Structure large enough to hold any socket address (with the historical
exception of AF_UNIX). We reserve 128 bytes. */
exception of AF_UNIX). */
#if ULONG_MAX > 0xffffffff
# define __ss_aligntype __uint64_t
#else
# define __ss_aligntype __uint32_t
#endif
#define _SS_SIZE 128
#define _SS_PADSIZE (_SS_SIZE - (2 * sizeof (__ss_aligntype)))
#define _SS_PADSIZE \
(_SS_SIZE - __SOCKADDR_COMMON_SIZE - sizeof (__ss_aligntype))
struct sockaddr_storage
{
__SOCKADDR_COMMON (ss_); /* Address family, etc. */
__ss_aligntype __ss_align; /* Force desired alignment. */
char __ss_padding[_SS_PADSIZE];
__ss_aligntype __ss_align; /* Force desired alignment. */
};

4
inet/Makefile
View file

@ -50,7 +50,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-getni1 tst-getni2 tst-inet6_rth tst-checks tst-sockaddr
include ../Rules
@ -84,6 +84,8 @@ CFLAGS-either_hton.c = -fexceptions
CFLAGS-getnetgrent.c = -fexceptions
CFLAGS-getnetgrent_r.c = -fexceptions
CFLAGS-tst-sockaddr.c = -fno-strict-aliasing
endif
ifeq ($(build-static-nss),yes)

125
inet/tst-sockaddr.c Normal file
View file

@ -0,0 +1,125 @@
/* Tests for socket address type definitions.
Copyright (C) 2016 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; see the file COPYING.LIB. If
not, see <http://www.gnu.org/licenses/>. */
#include <netinet/in.h>
#include <stdbool.h>
#include <stddef.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <sys/socket.h>
#include <sys/un.h>
/* This is a copy of the previous definition of struct
sockaddr_storage. It is not equal to the old value of _SS_SIZE
(128) on all architectures. We must stay compatible with the old
definition. */
#define OLD_REFERENCE_SIZE 128
#define OLD_PADSIZE (OLD_REFERENCE_SIZE - (2 * sizeof (__ss_aligntype)))
struct sockaddr_storage_old
{
__SOCKADDR_COMMON (old_);
__ss_aligntype old_align;
char old_padding[OLD_PADSIZE];
};
static bool errors;
static void
check (bool ok, const char *message)
{
if (!ok)
{
printf ("error: failed check: %s\n", message);
errors = true;
}
}
static int
do_test (void)
{
check (OLD_REFERENCE_SIZE >= _SS_SIZE,
"old target size is not smaller than actual size");
check (sizeof (struct sockaddr_storage_old)
== sizeof (struct sockaddr_storage),
"old and new sizes match");
check (__alignof (struct sockaddr_storage_old)
== __alignof (struct sockaddr_storage),
"old and new alignment matches");
check (offsetof (struct sockaddr_storage_old, old_family)
== offsetof (struct sockaddr_storage, ss_family),
"old and new family offsets match");
check (sizeof (struct sockaddr_storage) == _SS_SIZE,
"struct sockaddr_storage size");
/* Check for lack of holes in the struct definition. */
check (offsetof (struct sockaddr_storage, __ss_padding)
== __SOCKADDR_COMMON_SIZE,
"implicit padding before explicit padding");
check (offsetof (struct sockaddr_storage, __ss_align)
== __SOCKADDR_COMMON_SIZE
+ sizeof (((struct sockaddr_storage) {}).__ss_padding),
"implicit padding before explicit padding");
/* Check for POSIX compatibility requirements between struct
sockaddr_storage and struct sockaddr_un. */
check (sizeof (struct sockaddr_storage) >= sizeof (struct sockaddr_un),
"sockaddr_storage is at least as large as sockaddr_un");
check (__alignof (struct sockaddr_storage)
>= __alignof (struct sockaddr_un),
"sockaddr_storage is at least as aligned as sockaddr_un");
check (offsetof (struct sockaddr_storage, ss_family)
== offsetof (struct sockaddr_un, sun_family),
"family offsets match");
/* Check that the compiler preserves bit patterns in aggregate
copies. Based on <https://gcc.gnu.org/PR71120>. */
check (sizeof (struct sockaddr_storage) >= sizeof (struct sockaddr_in),
"sockaddr_storage is at least as large as sockaddr_in");
{
struct sockaddr_storage addr;
memset (&addr, 0, sizeof (addr));
{
struct sockaddr_in *sinp = (struct sockaddr_in *)&addr;
sinp->sin_family = AF_INET;
sinp->sin_addr.s_addr = htonl (INADDR_LOOPBACK);
sinp->sin_port = htons (80);
}
struct sockaddr_storage copy;
copy = addr;
struct sockaddr_storage *p = malloc (sizeof (*p));
if (p == NULL)
{
printf ("error: malloc: %m\n");
return 1;
}
*p = copy;
const struct sockaddr_in *sinp = (const struct sockaddr_in *)p;
check (sinp->sin_family == AF_INET, "sin_family");
check (sinp->sin_addr.s_addr == htonl (INADDR_LOOPBACK), "sin_addr");
check (sinp->sin_port == htons (80), "sin_port");
free (p);
}
return errors;
}
#define TEST_FUNCTION do_test ()
#include "../test-skeleton.c"

8
sysdeps/mach/hurd/bits/socket.h
View file

@ -156,20 +156,20 @@ struct sockaddr
/* Structure large enough to hold any socket address (with the historical
exception of AF_UNIX). We reserve 128 bytes. */
exception of AF_UNIX). */
#if ULONG_MAX > 0xffffffff
# define __ss_aligntype __uint64_t
#else
# define __ss_aligntype __uint32_t
#endif
#define _SS_SIZE 128
#define _SS_PADSIZE (_SS_SIZE - (2 * sizeof (__ss_aligntype)))
#define _SS_PADSIZE \
(_SS_SIZE - __SOCKADDR_COMMON_SIZE - sizeof (__ss_aligntype))
struct sockaddr_storage
{
__SOCKADDR_COMMON (ss_); /* Address family, etc. */
__ss_aligntype __ss_align; /* Force desired alignment. */
char __ss_padding[_SS_PADSIZE];
__ss_aligntype __ss_align; /* Force desired alignment. */
};

5
sysdeps/unix/bsd/bits/sockaddr.h
View file

@ -1,4 +1,4 @@
/* Definition of `struct sockaddr_*' common members. 4.4 BSD version.
/* Definition of struct sockaddr_* common members and sizes, BSD version.
Copyright (C) 1995-2016 Free Software Foundation, Inc.
This file is part of the GNU C Library.
@ -39,4 +39,7 @@ typedef unsigned char sa_family_t;
#define _HAVE_SA_LEN 1 /* We have the sa_len field. */
/* Size of struct sockaddr_storage. */
#define _SS_SIZE 128
#endif /* bits/sockaddr.h */

8
sysdeps/unix/sysv/linux/bits/socket.h
View file

@ -175,16 +175,16 @@ struct sockaddr
/* Structure large enough to hold any socket address (with the historical
exception of AF_UNIX). We reserve 128 bytes. */
exception of AF_UNIX). */
#define __ss_aligntype unsigned long int
#define _SS_SIZE 128
#define _SS_PADSIZE (_SS_SIZE - (2 * sizeof (__ss_aligntype)))
#define _SS_PADSIZE \
(_SS_SIZE - __SOCKADDR_COMMON_SIZE - sizeof (__ss_aligntype))
struct sockaddr_storage
{
__SOCKADDR_COMMON (ss_); /* Address family, etc. */
__ss_aligntype __ss_align; /* Force desired alignment. */
char __ss_padding[_SS_PADSIZE];
__ss_aligntype __ss_align; /* Force desired alignment. */
};

42
sysdeps/unix/sysv/linux/m68k/bits/sockaddr.h Normal file
View file

@ -0,0 +1,42 @@
/* Definition of struct sockaddr_* members and sizes, Linux/m68k version.
Copyright (C) 1995-2016 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/>. */
/*
* Never include this file directly; use <sys/socket.h> instead.
*/
#ifndef _BITS_SOCKADDR_H
#define _BITS_SOCKADDR_H 1
/* POSIX.1g specifies this type name for the `sa_family' member. */
typedef unsigned short int sa_family_t;
/* This macro is used to declare the initial common members
of the data types used for socket addresses, `struct sockaddr',
`struct sockaddr_in', `struct sockaddr_un', etc. */
#define __SOCKADDR_COMMON(sa_prefix) \
sa_family_t sa_prefix##family
#define __SOCKADDR_COMMON_SIZE (sizeof (unsigned short int))
/* Size of struct sockaddr_storage. */
#define _SS_SIZE 126
#endif /* bits/sockaddr.h */