https://gcc.gnu.org/bugzilla/show_bug.cgi?id=25071
--- Comment #12 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- No activity for more than four years. AFAICT everything is fixed, but for comment 7 preferring an error instead of the warning. Since warnings can be turned into errors with -Werror, I don't think this PR should stay opened.
