https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71255
Bug ID: 71255
Summary: Auto-annotate sockaddr related structs with may_alias
Product: gcc
Version: 7.0
Status: UNCONFIRMED
Keywords: wrong-code
Severity: enhancement
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: rguenth at gcc dot gnu.org
Target Milestone: ---
GCC should auto-annotate structs with sockaddr related identifiers with the
may_alias attribute to fix "wrong code" issues with their established
(and standards blessed?) use.
Doing this in glibc headers is not possible due to forward declarations
being incompatible (and as may_alias has an effect on
pointer-to-annotated-struct
the struct definition doesn't have to be visible).
See https://sourceware.org/bugzilla/show_bug.cgi?id=20111 and referenced bugs.
