Re: master: Potentially skip a floating-point test that might fail

Where does (* 1.0e30 1.0e30) produce division-by-zero?

On Sun, Feb 22, 2026 at 5:29 AM snuglas via Sbcl-commits
<[email protected]> wrote:
>
> The branch "master" has been updated in SBCL:
>        via  5bf2decc30b259ac8dfb3ac1d052fd90e14a4e84 (commit)
>       from  97271e170c89e3ed4b1172805c801812615ffdc4 (commit)
>
> - Log -----------------------------------------------------------------
> commit 5bf2decc30b259ac8dfb3ac1d052fd90e14a4e84
> Author: Douglas Katzman <[email protected]>
> Date:   Sat Feb 21 21:25:35 2026 -0500
>
>     Potentially skip a floating-point test that might fail
> ---
>  tests/float.pure.lisp | 7 ++++++-
>  1 file changed, 6 insertions(+), 1 deletion(-)
>
> diff --git a/tests/float.pure.lisp b/tests/float.pure.lisp
> index 02ad340ba..eceaacc04 100644
> --- a/tests/float.pure.lisp
> +++ b/tests/float.pure.lisp
> @@ -683,7 +683,12 @@
>                         t)
>           :test #'car-type-equal)))))
>
> -(with-test (:name :comparison-transform-overflow)
> +;; figure out whether the floating-point environment is as expected
> +(handler-case (eval '(* 1.0e30 1.0e30))
> +  (division-by-zero () (push :skip-=-xform-test *features*)) ; strange result
> +  (floating-point-overflow ())) ; normal result
> +
> +(with-test (:name :comparison-transform-overflow :skipped-on :skip-=-xform-test)
>    (checked-compile-and-assert
>     ()
>     `(lambda (a)
>
> -----------------------------------------------------------------------
>
>
> hooks/post-receive
> --
> SBCL
>
>
> _______________________________________________
> Sbcl-commits mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/sbcl-commits


_______________________________________________
Sbcl-commits mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/sbcl-commits