https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86030
Costas Argyris <costas.argyris at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |costas.argyris at gmail dot com
--- Comment #5 from Costas Argyris <costas.argyris at gmail dot com> ---
Very likely fixed by
https://gcc.gnu.org/git/?p=gcc.git;a=commitdiff;h=180ebb8a24d24fc5b105f2257d6216f6dfde62df
