https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79952
--- Comment #7 from David Malcolm <dmalcolm at gcc dot gnu.org> --- Should be fixed by r246044. Jeff: does this fix the issue you mentioned in comment #2?
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79952
--- Comment #7 from David Malcolm <dmalcolm at gcc dot gnu.org> --- Should be fixed by r246044. Jeff: does this fix the issue you mentioned in comment #2?