------- Comment #21 from dominiq at lps dot ens dot fr 2007-09-05 09:19 ------- Subject: Re: Missing last digit in some formatted output (on 32bit targets), per kind write_float
If I am not mistaken, the test case did not go through. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33225