Second recent compiler bug involving double-float type
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
SBCL |
Fix Released
|
Undecided
|
Unassigned |
Bug Description
An unexpected compilation error occurs with the SBCL version reported
below, obtained today from GitHub -- so Bug # 2084209 was already
fixed, and this is a second bug involving double-float type. Here is
a log on MacOS 10.15.7. There is no such error with SBCL 2.4.6
(released) on that Mac, or with SBCL 2.4.9 (released) on Linux.
Perhaps the error is related to recent improvements to avoid boxing of
double-floats.
~$ ~/lisps/
This is SBCL 2.4.9.49-3e96beeda, an implementation of ANSI Common Lisp.
More information about SBCL is available at <http://
SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses. See the CREDITS and COPYING files in the
distribution for more information.
* (declaim (ftype (function (double-float t t t t t t t t t t)
(values t))
f1))
(F1)
* (defun f1 (scalar x1 x2 x3 x4 x5 x6 x7 x8 x9 x10)
(declare (ignore scalar x1 x2 x3 x4 x5 x6 x7 x8 x10))
x9)
F1
* (defun f2 ()
(let ((val (f1 0.0d0 0 0 0 0 0 0 0 0 0 0)))
val))
debugger invoked on a SIMPLE-ERROR in thread
#<THREAD tid=775 "main thread" RUNNING {1001898003}>:
SB-VM:
Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.
restarts (invokable by number or by possibly-
0: [ABORT] Exit debugger, returning to top level.
(SB-C::
0] backtrace
Backtrace for: #<SB-THREAD:THREAD tid=775 "main thread" RUNNING {1001898003}>
0: (SB-C::
1: (SB-REGALLOC:
2: (SB-REGALLOC:
3: (SB-REGALLOC:
4: (SB-REGALLOC:
5: (SB-REGALLOC:PACK #<SB-C:COMPONENT :NAME "<unknown>" {1001934403}>)
6: (SB-C::
7: (SB-C::
8: (SB-C::%COMPILE (SB-INT:
9: ((LAMBDA NIL :IN SB-C:COMPILE-
10: ((FLET SB-C::WITH-IT :IN SB-C::%
11: (SB-C:COMPILE-
12: (SB-IMPL:
13: (SB-INT:
14: (SB-INT:
15: (SB-INT:
16: (EVAL (DEFUN F2 NIL (LET ((VAL (F1 0.0d0 0 0 0 0 0 0 0 0 0 0))) VAL)))
17: (INTERACTIVE-EVAL (DEFUN F2 NIL (LET ((VAL (F1 0.0d0 0 0 0 0 0 0 0 0 0 0))) VAL)) :EVAL NIL)
18: (SB-IMPL::REPL-FUN NIL)
19: ((LAMBDA NIL :IN SB-IMPL:
20: (SB-IMPL:
21: (SB-IMPL:
22: (SB-IMPL:
23: ((FLET SB-UNIX::BODY :IN SB-IMPL:
24: ((FLET "WITHOUT-
25: (SB-IMPL:
0]
Here is information on version, OS, and *features*.
~$ ~/lisps/
SBCL 2.4.9.49-3e96beeda
~$ uname -a
Darwin Matts-MacBook-
~$ ~/lisps/
This is SBCL 2.4.9.49-3e96beeda, an implementation of ANSI Common Lisp.
More information about SBCL is available at <http://
SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses. See the CREDITS and COPYING files in the
distribution for more information.
* *features*
(:ARENA-ALLOCATOR :X86-64 :GENCGC :64-BIT :ANSI-CL :BSD :COMMON-LISP :DARWIN
:IEEE-
:SB-PACKAGE-LOCKS :SB-THREAD :SB-UNICODE :SBCL :UNIX)
*
I built SBCL from sources as follows.
sh make.sh --without-
Changed in sbcl: | |
status: | New → Fix Released |