https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62125
--- Comment #8 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- I confirm that the patch in comment 5 allows the test to be compiled without regression. A test case showing that the code executes as expected is needed to avoid to replace reject-valid with wrong-code.