[Bug target/81693] FAIL: gcc.dg/torture/pr25967-*.c -O* execution test on darwin

[dominiq at lps dot ens.fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81693

--- Comment #14 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
> Please try my new patch.

AFAICT it is not different from the one I have already applied (why the
duplications?).