https://gcc.gnu.org/bugzilla/show_bug.cgi?id=23330 Bug 23330 depends on bug 23659, which changed state.
Bug 23659 Summary: Should able to add dereferencing (statements with VUSE) without rerunning may_alias https://gcc.gnu.org/bugzilla/show_bug.cgi?id=23659 What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |RESOLVED Resolution|--- |FIXED