Message306478
| Author |
skrah |
| Recipients |
davin, jeff.allen, mark.dickinson, rhettinger, serhiy.storchaka, skrah, tim.peters |
| Date |
2017年11月18日.10:13:29 |
| SpamBayes Score |
-1.0 |
| Marked as misclassified |
Yes |
| Message-id |
<1511000010.07.0.213398074469.issue31630@psf.upfronthosting.co.za> |
| In-reply-to |
| Content |
Tim has mentioned the high quality of fdlibm, and indeed I cannot
reproduce the issue:
wget -r http://www.netlib.org/fdlibm/
Then build libm with or without optimizations, with or without -m32,
gcc or clang.
Then compile a C program that calls tan(1.5707963267948961).
This is a bit treacherous, because gcc apparently has a builtin
tan(), so one needs to make sure that it actually uses fdlibm.
gcc-4.7 -fno-builtin -O3 -m32 -Wall -W -o xxx xxx.c libm.a
All is fine here (Ubuntu Linux). |
|