Summary

make check on windows: assertion failed: (equal? 1.0 (numerator 0.0))

Metadata

Description

 
 ======================================== library tests ...
 
 Error: assertion failed: (equal? 1.0 (numerator 0.0))
 
 	Call history:
 
 	<syntax>	  (##core#undefined)
 	<syntax>	  (##sys#error "assertion failed" (##core#quote (equal? +inf.0 (denominator 0.0))))
 	<syntax>	  (##core#quote (equal? +inf.0 (denominator 0.0)))
 	<eval>	  (equal? +inf.0 (denominator 0.0))
 	<eval>	  (denominator 0.0)
 	<syntax>	  (assert (equal? 1.0 (numerator 0.0)))
 	<syntax>	  (##core#if (##core#check (equal? 1.0 (numerator 0.0))) (##core#undefined) (##sys#error "assertion fa...
 	<syntax>	  (##core#check (equal? 1.0 (numerator 0.0)))
 	<syntax>	  (equal? 1.0 (numerator 0.0))
 	<syntax>	  (numerator 0.0)
 	<syntax>	  (##core#undefined)
 	<syntax>	  (##sys#error "assertion failed" (##core#quote (equal? 1.0 (numerator 0.0))))
 	<syntax>	  (##core#quote (equal? 1.0 (numerator 0.0)))
 	<eval>	  (equal? 1.0 (numerator 0.0))
 	<eval>	  (numerator 0.0)
 	<eval>	  (##sys#error "assertion failed" (##core#quote (equal? 1.0 (numerator 0.0))))	<--
 make[1]: *** [check] Error 70
 make[1]: Leaving directory `c:/src/chicken-core'
 make: *** [check] Error 2



 (c) 2008-2013, The Chicken Team
 (c) 2000-2007, Felix L. Winkelmann
 Version 4.8.3 (rev b663e07)
 windows-mingw32-x86 [ manyargs dload ptables ]
 compiled 2013-11-09 on foobar (MINGW32_NT-5.1)

Changes and comments

[2013-11-17 21:56:05 UTC] sjamaan wrote:

This seems to be caused by a bug in MingW's fpclassify():

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56404 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56397

So far I haven't found anything in the mingw bug database relating to this

[2013-11-17 22:08:00 UTC] sjamaan wrote:

Found the MingW issue: http://sourceforge.net/p/mingw/bugs/1927/

[2013-11-17 22:10:14 UTC] sjamaan wrote:

If we fix this, we should probably restore the commented-out test as well.

[2013-12-01 21:13:16 UTC] sjamaan wrote:

Bug also seems to exist in mingw-w64 (which is apparently the maintained version of mingw)

[2013-12-22 15:44:09 UTC] sjamaan wrote:

Mingw-w64 bugreport: http://sourceforge.net/p/mingw-w64/bugs/367/

[2014-02-11 08:44:07 UTC] sjamaan changed status from new to closed

[2014-02-11 08:44:07 UTC] sjamaan set resolution to fixed

[2014-02-11 08:44:07 UTC] sjamaan wrote:

"fixed" by disabling the tests in changeset c368462. Properly trying to fix all broken systems is a rabbit-hole that goes too deep; for example iOS even sets a hardware flag on the FPU to treat denormalised floating-point numbers as zero. There may be more OS/CPU combinations that do similarly fubar things. Our industry's madness knows no limits.