SINGLE-FLOAT fell through ECASE expression. Wanted one of (DOUBLE-FLOAT).

Bug #1760884 reported by Paul F. Dietz on 2018-04-03
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
Undecided
Unassigned

Bug Description

(lambda () (atanh (coerce 0 '(double-float * (0.0d0))))) ;; bad coercion

==>

SINGLE-FLOAT fell through ECASE expression.
Wanted one of (DOUBLE-FLOAT).
   [Condition of type SB-KERNEL:CASE-FAILURE]

Restarts:
 0: [ABORT] Exit debugger, returning to top level.

Backtrace:
  0: (SB-C::DOMAIN-SUBTYPEP #<SB-KERNEL:NUMERIC-TYPE (DOUBLE-FLOAT * (0.0d0))> -1.0d0 1.0d0)
  1: (SB-C::ELFUN-DERIVE-TYPE-SIMPLE #<SB-KERNEL:NUMERIC-TYPE (DOUBLE-FLOAT * (0.0d0))> #<FUNCTION ATANH> -1.0d0 1.0d0 -1 1 T)
  2: (SB-C::ONE-ARG-DERIVE-TYPE #<SB-C::LVAR 1 {1003EE17E3}> #<FUNCTION (LAMBDA (SB-C::ARG) :IN SB-C::ATANH-DERIVE-TYPE-OPTIMIZER) {221F7A7B}> #<FUNCTION ATANH>)
  3: ((FLET SB-C::PROCESS-INFO :IN SB-C::IR1-OPTIMIZE-COMBINATION))
  4: (SB-C::IR1-OPTIMIZE-COMBINATION #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::GLOBAL-VAR :%SOURCE-NAME ATANH :TYPE #1=#<SB-KERNEL:FUN-TYPE #> :DEFINED-TYPE #1# :WHERE-FROM :DECLARED :KIND :GLOBA..
[...]

Stas Boukarev (stassats) wrote :

a5236bf2ba116dc7eabb53f7c5dfc7aa86b1aff7

Changed in sbcl:
status: New → Fix Committed
Stas Boukarev (stassats) on 2018-04-29
Changed in sbcl:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers