bug#13102: Crash compiling big cond expression (2)

bug#13102: Crash compiling big cond expression (2)

[rixed]

[-- Attachment #1: Type: text/plain, Size: 107 bytes --]

A minimal big or expression that triggers another error from compiler:

;;; ERROR: Value out of range: 0



[-- Attachment #2: bug4.scm --]
[-- Type: text/plain, Size: 3678 bytes --]

#!/usr/bin/env guile
; vim:expandtab
!#

(lambda (proto
         server-port
         client-zone
         server-zone
         signature-id)
  (let* ((cs-0 (eqv? server-zone 22))
         (cs-1 (eqv? client-zone 22))
         (cs-2 (eqv? signature-id 100013))
         (cs-5 (eqv? server-zone 8))
         (cs-8 (eqv? client-zone 8))
         (cs-13 (eqv? client-zone 7))
         (cs-18 (eqv? signature-id 100012))
         (cs-31 (eqv? signature-id 100006))
         (cs-44 (eqv? proto 6))
         (cs-45 (eqv? server-port 443))
         (cs-46 (and cs-44 cs-45))
         (cs-47 (eqv? signature-id 100011))
         (cs-48 (or cs-46 cs-47))
         (cs-61 (eqv? client-zone 38))
         (cs-66 (eqv? client-zone 33))
         (cs-71 (eqv? client-zone 32))
         (cs-76 (eqv? client-zone 30))
         (cs-81 (eqv? client-zone 29))
         (cs-86 (eqv? client-zone 28))
         (cs-91 (eqv? client-zone 27))
         (cs-96 (eqv? client-zone 26))
         (cs-101 (eqv? client-zone 25))
         (cs-106 (eqv? client-zone 24))
         (cs-111 (eqv? client-zone 23))
         (cs-116 (eqv? client-zone 21))
         (cs-121 (eqv? client-zone 16))
         (cs-126 (eqv? client-zone 15))
         (cs-131 (eqv? client-zone 14))
         (cs-136 (eqv? client-zone 13))
         (cs-141 (eqv? client-zone 10))
         (cs-146 (eqv? client-zone 9))
         (cs-367 (eqv? server-port 4401))
         (cs-372 (eqv? client-zone 43))
         (cs-377 (eqv? client-zone 42))
         (cs-382 (eqv? client-zone 41))
         (cs-387 (eqv? client-zone 20))
         (cs-392 (eqv? client-zone 18))
         (cs-457 (eqv? signature-id 100010))
         (cs-462 (eqv? signature-id 100009))
         (cs-467 (eqv? signature-id 100008))
         (cs-472 (eqv? server-port 8221))
         (cs-477 (eqv? server-port 1539))
         (cs-482 (eqv? server-port 4100))
         (cs-487 (eqv? server-zone 38))
         (cs-490 (eqv? server-zone 33))
         (cs-493 (eqv? server-zone 30))
         (cs-496 (eqv? server-zone 29))
         (cs-499 (eqv? server-zone 28))
         (cs-502 (eqv? server-zone 26))
         (cs-505 (eqv? server-zone 23))
         (cs-508 (eqv? server-zone 21))
         (cs-511 (eqv? server-zone 16))
         (cs-514 (eqv? server-zone 15))
         (cs-517 (eqv? server-zone 14))
         (cs-520 (eqv? server-zone 10))
         (cs-2929 (eqv? server-port 1523))
         (cs-3080 (eqv? proto 17))
         (cs-3225 (eqv? server-zone 43))
         (cs-3228 (eqv? server-zone 42))
         (cs-3231 (eqv? server-zone 20))
         (cs-3234 (eqv? server-zone 18))
         (cs-3326 (eqv? signature-id 100001))
         (cs-4223 (eqv? signature-id 205060)))
    (cond ((or (and cs-487 cs-61)
               (and cs-520 cs-146)
               (and cs-487 cs-61)
               (and cs-490 cs-61)
               (and cs-493 cs-61)
               (and cs-496 cs-61)
               (and cs-499 cs-61)
               (and cs-502 cs-61)
               (and cs-505 cs-61)
               (and cs-508 cs-61)
               (and cs-511 cs-61)
               (and cs-514 cs-61)
               (and cs-517 cs-61)
               (and cs-520 cs-61)
               (and cs-487 cs-66)
               (and cs-490 cs-66)
               (and cs-493 cs-66)
               (and cs-496 cs-66)
               (and cs-511 cs-141)
               (and cs-514 cs-141)
               (and cs-517 cs-141)
               (and cs-520 cs-141)
               (and cs-487 cs-146)
               (and cs-490 cs-146)
               (and cs-493 cs-146)
               (and cs-496 cs-146)
               (and cs-499 cs-146)
               (and cs-520 cs-146))
           604)
          (else #f))))

bug#13102: Crash compiling big cond expression (2)

[Stefan Israelsson Tampe]

[-- Attachment #1: Type: text/plain, Size: 309 bytes --]

I can compile bug4.scm, It's possible that this is because of a recent
bugfix
In cse.scm, Can you try it with 2.0.7 ?

/Stefan


On Thu, Dec 6, 2012 at 5:41 PM, <rixed@happyleptic.org> wrote:

> A minimal big or expression that triggers another error from compiler:
>
> ;;; ERROR: Value out of range: 0
>
>
>

[-- Attachment #2: Type: text/html, Size: 623 bytes --]

bug#13102: Crash compiling big cond expression (2)

[rixed]

-[ Fri, Dec 07, 2012 at 12:29:18PM +0100, Stefan Israelsson Tampe ]----
> I can compile bug4.scm, It's possible that this is because of a recent
> bugfix
> In cse.scm, Can you try it with 2.0.7 ?

I will, but not until monday.
Sorry I missed this bugfix.

bug#13102: Crash compiling big cond expression (2)

[rixed]

-[ Fri, Dec 07, 2012 at 12:29:18PM +0100, Stefan Israelsson Tampe ]----
> I can compile bug4.scm, It's possible that this is because of a recent
> bugfix
> In cse.scm, Can you try it with 2.0.7 ?

Ok, I just tried with 2.0.7 and it works.
Please close this erroneous bug.

The other two are still valid, though.

Thank you for your support !

BTW I think I managed to work around all this in my actual program, by reducing
the number of cond cases and by splitting the long 'or and 'and chains, but
still the compiler hits the CPU harder than what seams reasonable.

bug#13102: Crash compiling big cond expression (2)

[Ludovic Courtès]

rixed@happyleptic.org skribis:

> Ok, I just tried with 2.0.7 and it works.
> Please close this erroneous bug.

Cool, chiming in just to close the bug.  :-)

Ludo’.