https://gcc.gnu.org/bugzilla/show_bug.cgi?id=31593
--- Comment #47 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- The assignee is Tobias Schlüter, but the PR is not marked as assigned. Is Tobias still interested? If no, the PR should be unassigned.
