http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57484
--- Comment #14 from Uroš Bizjak <ubizjak at gmail dot com> --- (In reply to Paolo Carlini from comment #13) > Thanks Uros, you are providing plenty of detaild which I largely ignored. > Thus, realistically, do you think this issue is largely unfixable? This issue is unfortunately unfixable. x87 and x86-32 ABI are just not designed to handle all details of IEEE 754 standard.