Bug#561691: Please declare struct sockaddr and sockaddr_storage as may_alias

2009-12-27 Thread Aurelien Jarno
On Sun, Dec 27, 2009 at 01:35:43AM +0100, Juliusz Chroboczek wrote: > > There is no risk of breakage in optimised code with -O2 or more. > > For my education -- could you please explain why? (No need to quote the > C99 standard, just give me the intuition.) > It is a false positive due to the f

Bug#561691: Please declare struct sockaddr and sockaddr_storage as may_alias

2009-12-26 Thread Juliusz Chroboczek
> There is no risk of breakage in optimised code with -O2 or more. For my education -- could you please explain why? (No need to quote the C99 standard, just give me the intuition.) Juliusz -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.deb

Bug#561691: Please declare struct sockaddr and sockaddr_storage as may_alias

2009-12-25 Thread Aurelien Jarno
severity 561691 wishlist tag 561691 + wontfix thanks On Sat, Dec 19, 2009 at 06:03:48PM +0100, Juliusz Chroboczek wrote: > Package: libc6-dev > Version: 2.10.2-2 > > Type punning between pointers to struct sockaddr, struct sockaddr_storage > and sockaddr_in(6) is explicitly required by the socket

Bug#561691: Please declare struct sockaddr and sockaddr_storage as may_alias

2009-12-19 Thread Juliusz Chroboczek
Package: libc6-dev Version: 2.10.2-2 Type punning between pointers to struct sockaddr, struct sockaddr_storage and sockaddr_in(6) is explicitly required by the sockets interface. For example, RFC 3493 Section 3.8 gives the following example: if (bind(s, (struct sockaddr *) &sin6, sizeof(si