https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70235
--- Comment #20 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> --- (In reply to Dominique d'Humieres from comment #19) > Created attachment 38100 [details] > Another patch with correct rounding > > > While I think the handling of nafter < 0 is correct, it is probably > > a too big hammer since the expected output should be all zeroes. > > The attached patch does exactly that. Nice work!