https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71560
--- Comment #5 from vries at gcc dot gnu.org --- (In reply to Martin Sebor from comment #4) > Please let me know if you're planning to make these > changes, otherwise I can give it a whirl. Unfortunately I don't have time for this. Please go ahead.
