[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 #30 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
I have submitted a patch some time ago at

https://gcc.gnu.org/ml/gcc-patches/2017-11/msg00939.html

Mike asked for some changes and I got distracted before being able to fulfill
the requests.

I can do it in the coming week, but if someone want to do it sooner, there is
no problem.