close Warning: Can't synchronize with repository "(default)" ("(default)" is not readable or not a Git repository.). Look in the Trac log for more information.

Opened 11 years ago

#97 new defect

Constant folding errors from make-double-double-float

Reported by: Raymond Toy Owned by: somebody
Priority: minor Milestone:
Component: Core Version: 2014-05
Keywords: Cc:

Description

Compiling

(defun zot ()
  (kernel:make-double-double-float least-positive-normalized-double-float 0d0))

causes several warnings like:

;   (KERNEL:MAKE-DOUBLE-DOUBLE-FLOAT LEAST-POSITIVE-NORMALIZED-DOUBLE-FLOAT
;                                    0.0d0)
; --> BLOCK IF OR LET IF OR FLOAT-NAN-P BLOCK KERNEL::NUMBER-DISPATCH 
; --> BLOCK TAGBODY RETURN-FROM TYPECASE LET COND IF PROGN LET 
; ==>
;   (KERNEL:SINGLE-FLOAT-BITS KERNEL::X)
; Warning: Lisp error during constant folding:
; Type-error in KERNEL::OBJECT-NOT-SINGLE-FLOAT-ERROR-HANDLER:
;    2.2250738585072014d-308 is not of type SINGLE-FLOAT

Looks like it's from float-nan-p.

The result is correct, but the warnings are annoying.

Change History (0)

Note: See TracTickets for help on using tickets.