[Bug c/71255] New: Auto-annotate sockaddr related structs with may_alias

[rguenth at gcc dot gnu.org]

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.