https://gcc.gnu.org/bugzilla/show_bug.cgi?id=54224
--- Comment #30 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- > so I give up. I am planning to submit the following patch, open a new PR > for the bad locus, then close this PR as fixed. The new PR won't be necessary: it is already pr63327.
