https://gcc.gnu.org/bugzilla/show_bug.cgi?id=49774 Bug 49774 depends on bug 89509, which changed state.
Bug 89509 Summary: restrict doesnt work with subfield accesses https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89509 What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |RESOLVED Resolution|--- |FIXED