https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63613
Eric Gallager <egallager at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |bkorb at gnu dot org --- Comment #13 from Eric Gallager <egallager at gcc dot gnu.org> --- (In reply to Eric Gallager from comment #12) > (In reply to David Malcolm from comment #11) > > Patch posted as https://gcc.gnu.org/ml/gcc-patches/2014-12/msg00468.html > > Does this still apply? So after reviewing this thread, it looks like Jeff Law approved the patch, but Bruce Korb requested a minor tweak. It should be pretty easy to make Bruce's requested change; can you do that and resubmit, David? Or are we assuming that dejagnu 1.6 has been out long enough now that this bug doesn't really matter any longer?