https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113137
--- Comment #14 from David Binderman <dcb314 at hotmail dot com> --- (In reply to Tamar Christina from comment #13) > Patch submitted Two weeks have elapsed and the patch doesn't seem to appear in git. Is it perhaps stuck somewhere ?
