https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62194
--- Comment #5 from Josh Triplett <josh at joshtriplett dot org> --- (In reply to Martin Sebor from comment #4) > (In reply to Josh Triplett from comment #0) > > > > I'm willing to work on a patch for this. > > If there still is interest in this feature are you still interested in > working on a patch? (If so, please assign the bug to yourself and post the > patch to gcc-patches.) I'm still interested in this; I was hoping to get some confirmation that the overall approach seems reasonable before starting on a patch. Does the concept of __attribute__((deadfield)) seem reasonable? If so, I'd be happy to develop a patch for this.