Raymond Toy pushed to branch issue-275b-signal-float-underflow at cmucl / cmucl
Commits: 45532060 by Raymond Toy at 2024-03-23T14:56:58-07:00 Add tests for float underflows in the reader
- - - - -
1 changed file:
- tests/float.lisp
Changes:
===================================== tests/float.lisp ===================================== @@ -212,3 +212,17 @@ ;; most-positive-double-float. And a really big single-float. (assert-error 'reader-error (read-from-string "1.8d308")) (assert-error 'reader-error (read-from-string "1d999999999"))) + +(define-test reader.float-underflow + (:tag :issues) + (lisp::with-float-traps-enabled (:underflow) + ;; A denormal + (assert-error 'floating-point-underflow + (read-from-string "1e-40")) + (assert-error 'floating-point-underflow + (read-from-string (format nil "~A" least-positive-single-float))) + ;; The same for double-floats + (assert-error 'floating-point-underflow + (read-from-string "1d-308")) + (assert-error 'floating-point-underflow + (read-from-string (format nil "~A" least-positive-double-float)))))
View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/45532060060f711842edbfbc...