https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94417
H.J. Lu <hjl.tools at gmail dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- Target Milestone|--- |10.0 URL| |https://gcc.gnu.org/piperma | |il/gcc-patches/2020-March/5 | |42984.html Keywords| |patch --- Comment #3 from H.J. Lu <hjl.tools at gmail dot com> --- A patch is posted at https://gcc.gnu.org/pipermail/gcc-patches/2020-March/542984.html