Re: [Sbcl-devel] Error during code propagation, how to proceed

[Richard M K. <kr...@pr...>]

"Tobias C. Rittweiler" writes:

> I found a bug in CONSET-INTERSECTION:
> 
> 
> diff --git a/src/compiler/constraint.lisp b/src/compiler/constraint.lisp
> index 4199027..b00358e 100644
> --- a/src/compiler/constraint.lisp
> +++ b/src/compiler/constraint.lisp
> @@ -284,7 +284,7 @@
>                            `(let ((start (max (or (conset-min conset-1) 0)
>                                               (or (conset-min conset-2) 0)))
>                                   (end (min (conset-max conset-1)
> -                                           (conset-max conset-1))))
> +                                           (conset-max conset-2))))
>                               (if (> start end)
>                                   nil
>                                   (position 1 (conset-vector conset-1)
> 
> 
> That doesn't make my branch compile yet, though. (Same error.)

I think the problem has to do the two extrema being updated
sequentially.  Working on a patch now, probably will have something to
post tomorrow.

--
Richard