https://gcc.gnu.org/bugzilla/show_bug.cgi?id=51310
--- Comment #11 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- > Yes, leave it for the time being - I will see if I can do something > about it (or unassign, if not). OK. See also pr33430.