[Ecls-list] BUG: unexpected FLOATING-POINT-UNDERFLOW on Linux/armhf

Eric Marsden eric.marsden at free.fr
Thu Mar 28 22:50:07 UTC 2013


I have recently acquired a cubieboard, a small ARM Cortex-A8 development
board (ARM v7, NEON, VFPv3), on which I run the rasbpian Debian
derivative. It's using GCC 4.6.3 and runs fine under ECL, except for a
bug in TAN:

| ;;; Loading #P"/usr/local/lib/ecl-12.12.1/asdf.fas"
| ECL (Embeddable Common-Lisp) 12.12.1 (git:e90ff5a6c720334e0450a107bb0bdc1fd746d5ea)
| Copyright (C) 1984 Taiichi Yuasa and Masami Hagiya
| Copyright (C) 1993 Giuseppe Attardi
| Copyright (C) 2000 Juan J. Garcia-Ripoll
| ECL is free software, and you are welcome to redistribute it
| under certain conditions; see file 'Copyright' for details.
| Type :h for Help.  
| Top level in: #<process TOP-LEVEL>.
| > (tan (coerce (/ pi 4) 'double-float))
| 0.9999999999999999d0
| > (tan (coerce (/ pi 4) 'single-float))

A basic C program which prints tan(atan(1)) works fine. What can I do to
help to debug?

Eric Marsden

More information about the ecl-devel mailing list