https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92453
--- Comment #3 from Tim Ruehsen <tim.ruehsen at gmx dot de> --- (In reply to Christian Biesinger from comment #2) > Could you send your patch to gcc-patches per > https://gcc.gnu.org/contribute.html#patches ? Thanks! I did that some days ago: https://gcc.gnu.org/ml/gcc-patches/2019-11/msg02682.html