https://gcc.gnu.org/bugzilla/show_bug.cgi?id=49774 Bug 49774 depends on bug 94416, which changed state.
Bug 94416 Summary: passing a restricted pointer to a function can be assumed not to modify an accessed object https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94416 What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED Resolution|--- |DUPLICATE
