(defun foo (a b) (declare (single-float a b)) (values (* a b) (print 0.0)))
Gets a FLOATING-POINT-OVERFLOW somewhere inside PRINT.
Bug watches keep track of this bug in other bug trackers.