https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87403 Bug 87403 depends on bug 94527, which changed state.
Bug 94527 Summary: RFE: Add an __attribute__ that marks a function as freeing an object https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94527 What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |RESOLVED Resolution|--- |FIXED