https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85957
--- Comment #16 from Rich Felker <bugdal at aerifal dot cx> --- > And GCC does not do spills in this format, as see in bug 323. In my experience it seems to (assuming -fexcess-precision=standard), though I have not done extensive testing. I'll check and follow up. > This is conforming as there is no requirement to keep intermediate results in > excess precision and range. Such behavior absolutely is non-conforming. The standard reads (5.2.4.2.2 ΒΆ9): "Except for assignment and cast (which remove all extra range and precision), the values yielded by operators with floating operands and values subject to the usual arithmetic conversions and of floating constants are evaluated to a format whose range and precision may be greater than required by the type" Note "are evaluated", not "may be evaluated depending on what spills the compiler chooses to perform".
