[Bug c/82318] -fexcess-precision=standard has no effect on a libm function call

joseph at codesourcery dot com gcc-bugzilla@gcc.gnu.org
Fri Feb 7 18:02:00 GMT 2020


https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82318

--- Comment #6 from joseph at codesourcery dot com <joseph at codesourcery dot com> ---
Do you have any reference to a proposal to that effect?  The current 
wording in N2454 regarding this says "IEC 60559 requires operations with 
specified operand and result formats.  Therefore, math functions that are 
bound to IEC 60559 operations (see table above) must remove any extra 
range and precision from arguments or results." - and glibc already 
implements that (on 32-bit x86, don't know the state for m68k) for the 
limited subset of library functions that are bound to such operatons, as 
well as dealing with the cases where excess range may be involved, as 
previously noted.  But most functions are not bound to an IEEE operation 
and so are not covered by that requirement.


More information about the Gcc-bugs mailing list