https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83017
--- Comment #10 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- > Created attachment 42621 [details] > updated patch AFAICT the patch does not fix the problem: without the patch PI 2.98876095 PI 3.14159274 4.742u 0.015s 0:04.77 99.5% 0+0k 0+0io 36pf+0w with the patch PI 2.98876095 PI 3.14159274 4.782u 0.012s 0:04.80 99.7% 0+0k 0+0io 0pf+0w
