GNU logs - #31594, boring messages

Message sent to bug-guile@HIDDEN:

Subject: bug#31594: Code causes guild compile to hang
Resent-From: Tommi =?UTF-8?Q?H=C3=B6yn=C3=A4l=C3=A4nmaa?= <tommi.hoynalanmaa@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Fri, 25 May 2018 15:33:01 +0000
Resent-Message-ID: <handler.31594.B.152726235530328 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 31594 <at> debbugs.gnu.org
MIME-Version: 1.0
From: Tommi =?UTF-8?Q?H=C3=B6yn=C3=A4l=C3=A4nmaa?= <tommi.hoynalanmaa@HIDDEN>
Date: Fri, 25 May 2018 18:32:24 +0300
Message-ID: <CAAkPRizz=UwoGpdK3qaAnGnk1G0O41tN-bmgwwyftuGZ=0jCQA@HIDDEN>
Content-Type: multipart/alternative; boundary="000000000000896d3f056d097967"
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

--000000000000896d3f056d097967
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

The following code causes command "guild compile" to hang:
---cut here---
(define (select-nearest-methods binder
                index v-fixed-args v-rest-arg vb-included)
  (dwl4 "select-nearest-methods")
  (assert (is-binder? binder))
  (let ((n (vector-length vb-included)))
    (do ((i 0 (+ i 1))) ((>=3D i n))
      (if (vector-ref vb-included i)
      (let ((t1 (get-item-at-index
             (vector-ref v-fixed-args i)
             (vector-ref v-rest-arg i)
             index)))
        (do ((j 0 (+ j 1))) ((>=3D j n))
          (if (and (not (=3D i j))
               (vector-ref vb-included j))
          (let ((t2 (get-item-at-index
                 (vector-ref v-fixed-args j)
                 (vector-ref v-rest-arg j)
                 index)))
            (if (is-t-subtype? binder t1 t2)
            ;; t2 is excluded
            (vector-set! vb-included j #f))))))))))
---cut here---

However, the following code works fine:
---cut here---
(define (method-loop binder
             index v-fixed-args v-rest-arg vb-included t1 i n)
  (do ((j 0 (+ j 1))) ((>=3D j n))
    (if (and (not (=3D i j))
         (vector-ref vb-included j))
    (let ((t2 (get-item-at-index
           (vector-ref v-fixed-args j)
           (vector-ref v-rest-arg j)
           index)))
      (if (is-t-subtype? binder t1 t2)
          ;; t2 is excluded
          (vector-set! vb-included j #f))))))


(define (select-nearest-methods binder
                index v-fixed-args v-rest-arg vb-included)
  (dwl4 "select-nearest-methods")
  (assert (is-binder? binder))
  (let ((n (vector-length vb-included)))
    (do ((i 0 (+ i 1))) ((>=3D i n))
      (if (vector-ref vb-included i)
      (let ((t1 (get-item-at-index
             (vector-ref v-fixed-args i)
             (vector-ref v-rest-arg i)
             index)))
        (method-loop binder index v-fixed-args v-rest-arg vb-included
             t1 i n))))))
---cut here---

This problem occurs with guile 2.2.3.

     - Tommi H=C3=B6yn=C3=A4l=C3=A4nmaa

--000000000000896d3f056d097967
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: base64

PGRpdiBkaXI9Imx0ciI+PGRpdj5UaGUgZm9sbG93aW5nIGNvZGUgY2F1c2VzIGNvbW1hbmQgJnF1
b3Q7Z3VpbGQgY29tcGlsZSZxdW90OyB0byBoYW5nOjwvZGl2PjxkaXY+LS0tY3V0IGhlcmUtLS08
L2Rpdj48ZGl2PihkZWZpbmUgKHNlbGVjdC1uZWFyZXN0LW1ldGhvZHMgYmluZGVyPGJyPsKgwqDC
oCDCoMKgwqAgwqDCoMKgIMKgwqDCoCBpbmRleCB2LWZpeGVkLWFyZ3Mgdi1yZXN0LWFyZyB2Yi1p
bmNsdWRlZCk8YnI+wqAgKGR3bDQgJnF1b3Q7c2VsZWN0LW5lYXJlc3QtbWV0aG9kcyZxdW90Oyk8
YnI+wqAgKGFzc2VydCAoaXMtYmluZGVyPyBiaW5kZXIpKTxicj7CoCAobGV0ICgobiAodmVjdG9y
LWxlbmd0aCB2Yi1pbmNsdWRlZCkpKTxicj7CoMKgwqAgKGRvICgoaSAwICgrIGkgMSkpKSAoKCZn
dDs9IGkgbikpPGJyPsKgwqDCoMKgwqAgKGlmICh2ZWN0b3ItcmVmIHZiLWluY2x1ZGVkIGkpPGJy
PsKgwqDCoCDCoCAobGV0ICgodDEgKGdldC1pdGVtLWF0LWluZGV4PGJyPsKgwqDCoCDCoMKgwqAg
wqDCoMKgwqAgKHZlY3Rvci1yZWYgdi1maXhlZC1hcmdzIGkpPGJyPsKgwqDCoCDCoMKgwqAgwqDC
oMKgwqAgKHZlY3Rvci1yZWYgdi1yZXN0LWFyZyBpKTxicj7CoMKgwqAgwqDCoMKgIMKgwqDCoMKg
IGluZGV4KSkpPGJyPsKgwqDCoCDCoMKgwqAgKGRvICgoaiAwICgrIGogMSkpKSAoKCZndDs9IGog
bikpPGJyPsKgwqDCoCDCoMKgwqDCoMKgIChpZiAoYW5kIChub3QgKD0gaSBqKSk8YnI+wqDCoMKg
IMKgwqDCoCDCoMKgwqDCoMKgwqAgKHZlY3Rvci1yZWYgdmItaW5jbHVkZWQgaikpPGJyPsKgwqDC
oCDCoMKgwqAgwqAgKGxldCAoKHQyIChnZXQtaXRlbS1hdC1pbmRleDxicj7CoMKgwqAgwqDCoMKg
IMKgwqDCoCDCoMKgwqDCoCAodmVjdG9yLXJlZiB2LWZpeGVkLWFyZ3Mgaik8YnI+wqDCoMKgIMKg
wqDCoCDCoMKgwqAgwqDCoMKgwqAgKHZlY3Rvci1yZWYgdi1yZXN0LWFyZyBqKTxicj7CoMKgwqAg
wqDCoMKgIMKgwqDCoCDCoMKgwqDCoCBpbmRleCkpKTxicj7CoMKgwqAgwqDCoMKgIMKgwqDCoCAo
aWYgKGlzLXQtc3VidHlwZT8gYmluZGVyIHQxIHQyKTxicj7CoMKgwqAgwqDCoMKgIMKgwqDCoCA7
OyB0MiBpcyBleGNsdWRlZDxicj7CoMKgwqAgwqDCoMKgIMKgwqDCoCAodmVjdG9yLXNldCEgdmIt
aW5jbHVkZWQgaiAjZikpKSkpKSkpKSk8YnI+PC9kaXY+PGRpdj4tLS1jdXQgaGVyZS0tLTwvZGl2
PjxkaXY+PGJyPjwvZGl2PjxkaXY+SG93ZXZlciwgdGhlIGZvbGxvd2luZyBjb2RlIHdvcmtzIGZp
bmU6PC9kaXY+PGRpdj4tLS1jdXQgaGVyZS0tLTwvZGl2PjxkaXY+KGRlZmluZSAobWV0aG9kLWxv
b3AgYmluZGVyPGJyPsKgwqDCoCDCoMKgwqAgwqDCoMKgwqAgaW5kZXggdi1maXhlZC1hcmdzIHYt
cmVzdC1hcmcgdmItaW5jbHVkZWQgdDEgaSBuKTxicj7CoCAoZG8gKChqIDAgKCsgaiAxKSkpICgo
Jmd0Oz0gaiBuKSk8YnI+wqDCoMKgIChpZiAoYW5kIChub3QgKD0gaSBqKSk8YnI+wqDCoMKgIMKg
wqDCoMKgICh2ZWN0b3ItcmVmIHZiLWluY2x1ZGVkIGopKTxicj7CoMKgwqAgKGxldCAoKHQyIChn
ZXQtaXRlbS1hdC1pbmRleDxicj7CoMKgwqAgwqDCoMKgIMKgwqAgKHZlY3Rvci1yZWYgdi1maXhl
ZC1hcmdzIGopPGJyPsKgwqDCoCDCoMKgwqAgwqDCoCAodmVjdG9yLXJlZiB2LXJlc3QtYXJnIGop
PGJyPsKgwqDCoCDCoMKgwqAgwqDCoCBpbmRleCkpKTxicj7CoMKgwqAgwqAgKGlmIChpcy10LXN1
YnR5cGU/IGJpbmRlciB0MSB0Mik8YnI+wqDCoMKgIMKgwqDCoMKgwqAgOzsgdDIgaXMgZXhjbHVk
ZWQ8YnI+wqDCoMKgIMKgwqDCoMKgwqAgKHZlY3Rvci1zZXQhIHZiLWluY2x1ZGVkIGogI2YpKSkp
KSk8YnI+PGJyPjxicj4oZGVmaW5lIChzZWxlY3QtbmVhcmVzdC1tZXRob2RzIGJpbmRlcjxicj7C
oMKgwqAgwqDCoMKgIMKgwqDCoCDCoMKgwqAgaW5kZXggdi1maXhlZC1hcmdzIHYtcmVzdC1hcmcg
dmItaW5jbHVkZWQpPGJyPsKgIChkd2w0ICZxdW90O3NlbGVjdC1uZWFyZXN0LW1ldGhvZHMmcXVv
dDspPGJyPsKgIChhc3NlcnQgKGlzLWJpbmRlcj8gYmluZGVyKSk8YnI+wqAgKGxldCAoKG4gKHZl
Y3Rvci1sZW5ndGggdmItaW5jbHVkZWQpKSk8YnI+wqDCoMKgIChkbyAoKGkgMCAoKyBpIDEpKSkg
KCgmZ3Q7PSBpIG4pKTxicj7CoMKgwqDCoMKgIChpZiAodmVjdG9yLXJlZiB2Yi1pbmNsdWRlZCBp
KTxicj7CoMKgwqAgwqAgKGxldCAoKHQxIChnZXQtaXRlbS1hdC1pbmRleDxicj7CoMKgwqAgwqDC
oMKgIMKgwqDCoMKgICh2ZWN0b3ItcmVmIHYtZml4ZWQtYXJncyBpKTxicj7CoMKgwqAgwqDCoMKg
IMKgwqDCoMKgICh2ZWN0b3ItcmVmIHYtcmVzdC1hcmcgaSk8YnI+wqDCoMKgIMKgwqDCoCDCoMKg
wqDCoCBpbmRleCkpKTxicj7CoMKgwqAgwqDCoMKgIChtZXRob2QtbG9vcCBiaW5kZXIgaW5kZXgg
di1maXhlZC1hcmdzIHYtcmVzdC1hcmcgdmItaW5jbHVkZWQ8YnI+wqDCoMKgIMKgwqDCoCDCoMKg
wqAgwqB0MSBpIG4pKSkpKSk8YnI+PC9kaXY+PGRpdj4tLS1jdXQgaGVyZS0tLTwvZGl2PjxkaXY+
PGJyPjwvZGl2PjxkaXY+VGhpcyBwcm9ibGVtIG9jY3VycyB3aXRoIGd1aWxlIDIuMi4zLjwvZGl2
PjxkaXY+PGJyPjwvZGl2PjxkaXY+wqDCoMKgwqAgLSBUb21taSBIw7Z5bsOkbMOkbm1hYTwvZGl2
PjxkaXY+PGJyPjwvZGl2PjwvZGl2Pg0K
--000000000000896d3f056d097967--

Message sent:

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: Tommi =?UTF-8?Q?H=C3=B6yn=C3=A4l=C3=A4nmaa?= <tommi.hoynalanmaa@HIDDEN>
Subject: bug#31594: Acknowledgement (Code causes guild compile to hang)
Message-ID: <handler.31594.B.152726235530328.ack <at> debbugs.gnu.org>
References: <CAAkPRizz=UwoGpdK3qaAnGnk1G0O41tN-bmgwwyftuGZ=0jCQA@HIDDEN>
X-Gnu-PR-Message: ack 31594
X-Gnu-PR-Package: guile
Reply-To: 31594 <at> debbugs.gnu.org
Date: Fri, 25 May 2018 15:33:02 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 bug-guile@HIDDEN

If you wish to submit further information on this problem, please
send it to 31594 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
31594: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D31594
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message sent to bug-guile@HIDDEN:

Subject: bug#31594: Information on my system
References: <CAAkPRizz=UwoGpdK3qaAnGnk1G0O41tN-bmgwwyftuGZ=0jCQA@HIDDEN>
In-Reply-To: <CAAkPRizz=UwoGpdK3qaAnGnk1G0O41tN-bmgwwyftuGZ=0jCQA@HIDDEN>
Resent-From: Tommi =?UTF-8?Q?H=C3=B6yn=C3=A4l=C3=A4nmaa?= <tommi.hoynalanmaa@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Sun, 27 May 2018 13:05:02 +0000
Resent-Message-ID: <handler.31594.B31594.152742628013012 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 31594 <at> debbugs.gnu.org
From: Tommi =?UTF-8?Q?H=C3=B6yn=C3=A4l=C3=A4nmaa?= <tommi.hoynalanmaa@HIDDEN>
Message-ID: <a048c218-21cc-6ac0-c522-5afaadcba724@HIDDEN>
Date: Sun, 27 May 2018 16:04:30 +0300
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101
 Thunderbird/52.7.0
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Content-Language: en-US
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>


I use Ubuntu 18.04 and I have the following Guile packages installed in 
my system:

guile-2.2: 2.2.3+1-3build1
guile-2.2-dev: 2.2.3+1-3build1
guile-2.2-doc: 2.2.3+1-3build1
guile-2.2-libs: 2.2.3+1-3build1
guile-2.0: 2.0.13+1-5build2
guile-2.0-doc: 2.0.13+1-5build2
guile-2.0-libs: 2.0.13+1-5build2

Package guile-2.0-dev is not installed. I have selected guile-2.2 to be 
used with
update-alternatives.

      - Tommi Höynälänmaa

Message sent to bug-guile@HIDDEN:

Subject: bug#31594: Code causes guild compile to hang
Resent-From: Mark H Weaver <mhw@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Tue, 05 Jun 2018 22:03:02 +0000
Resent-Message-ID: <handler.31594.B31594.152823618028357 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Tommi =?UTF-8?Q?H=C3=B6yn=C3=A4l=C3=A4nmaa?= <tommi.hoynalanmaa@HIDDEN>
Cc: 31594 <at> debbugs.gnu.org
From: Mark H Weaver <mhw@HIDDEN>
References: <CAAkPRizz=UwoGpdK3qaAnGnk1G0O41tN-bmgwwyftuGZ=0jCQA@HIDDEN>
Date: Tue, 05 Jun 2018 18:01:34 -0400
In-Reply-To: <CAAkPRizz=UwoGpdK3qaAnGnk1G0O41tN-bmgwwyftuGZ=0jCQA@HIDDEN>
 ("Tommi \=\?utf-8\?B\?SMO2eW7DpGzDpG5tYWEiJ3M\=\?\= message of "Fri,
 25 May 2018 18:32:24 +0300")
Message-ID: <87efhk3nb5.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

Hi,

Tommi H=C3=B6yn=C3=A4l=C3=A4nmaa <tommi.hoynalanmaa@HIDDEN> writes:

> The following code causes command "guild compile" to hang:
> ---cut here---
> (define (select-nearest-methods binder
>                 index v-fixed-args v-rest-arg vb-included)
>   (dwl4 "select-nearest-methods")
>   (assert (is-binder? binder))
>   (let ((n (vector-length vb-included)))
>     (do ((i 0 (+ i 1))) ((>=3D i n))
>       (if (vector-ref vb-included i)
>       (let ((t1 (get-item-at-index
>              (vector-ref v-fixed-args i)
>              (vector-ref v-rest-arg i)
>              index)))
>         (do ((j 0 (+ j 1))) ((>=3D j n))
>           (if (and (not (=3D i j))
>                (vector-ref vb-included j))
>           (let ((t2 (get-item-at-index
>                  (vector-ref v-fixed-args j)
>                  (vector-ref v-rest-arg j)
>                  index)))
>             (if (is-t-subtype? binder t1 t2)
>             ;; t2 is excluded
>             (vector-set! vb-included j #f))))))))))
> ---cut here---

I can reproduce this with Guile-2.2.3 on my system running GuixSD.
Simply pasting the above code into a pristine Guile REPL causes it to
hang.  I'm able to compile it to cps, but compiling it to bytecode gets
stuck in what appears to be an infinite loop in 'specialize-operations'
in (language cps specialize-numbers).

The backtrace printer also gets stuck in a loop while trying to print
one of the stack frames in (language cps specialize-numbers).

See below for a transcript.

Thanks for the report.  To be continued...

     Mark


--8<---------------cut here---------------start------------->8---
GNU Guile 2.2.3
Copyright (C) 1995-2017 Free Software Foundation, Inc.

Guile comes with ABSOLUTELY NO WARRANTY; for details type `,show w'.
This program is free software, and you are welcome to redistribute it
under certain conditions; type `,show c' for details.

Enter `,help' for help.
scheme@(guile-user)> (define (select-nearest-methods binder
                index v-fixed-args v-rest-arg vb-included)
  (dwl4 "select-nearest-methods")
  (assert (is-binder? binder))
  (let ((n (vector-length vb-included)))
    (do ((i 0 (+ i 1))) ((>=3D i n))
      (if (vector-ref vb-included i)
      (let ((t1 (get-item-at-index
             (vector-ref v-fixed-args i)
             (vector-ref v-rest-arg i)
             index)))
        (do ((j 0 (+ j 1))) ((>=3D j n))
          (if (and (not (=3D i j))
               (vector-ref vb-included j))
          (let ((t2 (get-item-at-index
                 (vector-ref v-fixed-args j)
                 (vector-ref v-rest-arg j)
                 index)))
            (if (is-t-subtype? binder t1 t2)
            ;; t2 is excluded
            (vector-set! vb-included j #f))))))))))

;;; <stdin>:6:2: warning: possibly unbound variable `dwl4'
;;; <stdin>:7:2: warning: possibly unbound variable `assert'
;;; <stdin>:7:10: warning: possibly unbound variable `is-binder?'
;;; <stdin>:11:16: warning: possibly unbound variable `get-item-at-index'
;;; <stdin>:18:20: warning: possibly unbound variable `get-item-at-index'
;;; <stdin>:22:16: warning: possibly unbound variable `is-t-subtype?'
While compiling expression:
User interrupt
scheme@(guile-user)> ,use (system base compile)
scheme@(guile-user)> (define code '(define (select-nearest-methods binder
                index v-fixed-args v-rest-arg vb-included)
  (dwl4 "select-nearest-methods")
  (assert (is-binder? binder))
  (let ((n (vector-length vb-included)))
    (do ((i 0 (+ i 1))) ((>=3D i n))
      (if (vector-ref vb-included i)
      (let ((t1 (get-item-at-index
             (vector-ref v-fixed-args i)
             (vector-ref v-rest-arg i)
             index)))
        (do ((j 0 (+ j 1))) ((>=3D j n))
          (if (and (not (=3D i j))
               (vector-ref vb-included j))
          (let ((t2 (get-item-at-index
                 (vector-ref v-fixed-args j)
                 (vector-ref v-rest-arg j)
                 index)))
            (if (is-t-subtype? binder t1 t2)
            ;; t2 is excluded
            (vector-set! vb-included j #f)))))))))))
scheme@(guile-user)> ,pp code
$2 =3D (define (select-nearest-methods
         binder
         index
         v-fixed-args
         v-rest-arg
         vb-included)
  (dwl4 "select-nearest-methods")
  (assert (is-binder? binder))
  (let ((n (vector-length vb-included)))
    (do ((i 0 (+ i 1)))
        ((>=3D i n))
      (if (vector-ref vb-included i)
        (let ((t1 (get-item-at-index
                    (vector-ref v-fixed-args i)
                    (vector-ref v-rest-arg i)
                    index)))
          (do ((j 0 (+ j 1)))
              ((>=3D j n))
            (if (and (not (=3D i j)) (vector-ref vb-included j))
              (let ((t2 (get-item-at-index
                          (vector-ref v-fixed-args j)
                          (vector-ref v-rest-arg j)
                          index)))
                (if (is-t-subtype? binder t1 t2)
                  (vector-set! vb-included j #f))))))))))
scheme@(guile-user)> (define v (compile code #:from 'scheme #:to 'cps))
scheme@(guile-user)> v
$3 =3D #<intmap 0-122>
scheme@(guile-user)> (define intmap->alist (@@ (language cps intmap) intmap=
->alist))
scheme@(guile-user)> ,pp (intmap->alist v)
$4 =3D ((0 . #<cps (kfun () 0 1 122)>)
 (1 . #<cps (ktail)>)
 (2 . #<cps (kargs (unspecified) (14) (continue 1 (values 14)))>)
 (3 . #<cps (kargs () () (continue 2 (unspecified)))>)
 (4 . #<cps (kargs (box) (15) (continue 3 (primcall box-set! 15 13)))>)
 (5 . #<cps (kargs (name) (16) (continue 4 (primcall define! 16)))>)
 (6 . #<cps (kargs (arg) (13) (continue 5 (const select-nearest-methods)))>)
 (7 . #<cps (ktail)>)
 (8 . #<cps (kargs (arg) (18) (continue 7 (call 7 18)))>)
 (9 . #<cps (kargs (loop) (7) (continue 8 (const 0)))>)
 (10 . #<cps (ktail)>)
 (11 . #<cps (kargs (val) (20) (continue 10 (values 20)))>)
 (12 . #<cps (kargs (arg) (21) (continue 10 (call 7 21)))>)
 (13 . #<cps (kargs (arg) (22) (continue 12 (primcall add 8 22)))>)
 (14 . #<cps (kargs (vals) (23) (continue 13 (const 1)))>)
 (15 . #<cps (kreceive () vals 14)>)
 (16 . #<cps (kargs (arg) (24) (continue 15 (call 10 24)))>)
 (17 . #<cps (kargs (loop) (10) (continue 16 (const 0)))>)
 (18 . #<cps (ktail)>)
 (19 . #<cps (kargs (val) (26) (continue 18 (values 26)))>)
 (20 . #<cps (kargs (arg) (27) (continue 18 (call 10 27)))>)
 (21 . #<cps (kargs (arg) (28) (continue 20 (primcall add 11 28)))>)
 (22 . #<cps (kargs (vals) (29) (continue 21 (const 1)))>)
 (23 . #<cps (kreceive () vals 22)>)
 (24 . #<cps (kargs () () (continue 22 (const ())))>)
 (25 . #<cps (kargs (unboxed) (31) (continue 24 (primcall vector-set! 1 31 =
30)))>)
 (26 . #<cps (kargs (arg) (30) (continue 25 (primcall scm->u64 11)))>)
 (27 . #<cps (kargs (nil) (33) (continue 22 (primcall cons 32 33)))>)
 (28 . #<cps (kargs (val) (32) (continue 27 (const ())))>)
 (29 . #<cps (kargs () () (continue 26 (const #f)))>)
 (30 . #<cps (kargs () () (continue 28 (unspecified)))>)
 (31 . #<cps (kargs (arg rest) (34 35) (continue 30 (branch 29 (values 34))=
))>)
 (32 . #<cps (kreceive (arg) rest 31)>)
 (33 . #<cps (kargs (arg) (36) (continue 32 (call 36 5 9 12)))>)
 (34 . #<cps (kargs (box) (37) (continue 33 (primcall box-ref 37)))>)
 (35 . #<cps (kargs (scope) (40) (continue 34 (primcall cached-toplevel-box=
 40 38 39)))>)
 (36 . #<cps (kargs (bound?) (39) (continue 35 (const 0)))>)
 (37 . #<cps (kargs (name) (38) (continue 36 (const #t)))>)
 (38 . #<cps (kargs (t2 rest) (12 41) (continue 37 (const is-t-subtype?)))>)
 (39 . #<cps (kreceive (t2) rest 38)>)
 (40 . #<cps (kargs (arg) (44) (continue 39 (call 42 43 44 4)))>)
 (41 . #<cps (kargs (unboxed) (45) (continue 40 (primcall vector-ref 2 45))=
)>)
 (42 . #<cps (kargs (arg) (43) (continue 41 (primcall scm->u64 11)))>)
 (43 . #<cps (kargs (unboxed) (46) (continue 42 (primcall vector-ref 3 46))=
)>)
 (44 . #<cps (kargs (arg) (42) (continue 43 (primcall scm->u64 11)))>)
 (45 . #<cps (kargs (box) (47) (continue 44 (primcall box-ref 47)))>)
 (46 . #<cps (kargs (scope) (50) (continue 45 (primcall cached-toplevel-box=
 50 48 49)))>)
 (47 . #<cps (kargs (bound?) (49) (continue 46 (const 0)))>)
 (48 . #<cps (kargs (name) (48) (continue 47 (const #t)))>)
 (49 . #<cps (kargs () () (continue 48 (const get-item-at-index)))>)
 (50 . #<cps (kargs (nil) (52) (continue 22 (primcall cons 51 52)))>)
 (51 . #<cps (kargs (val) (51) (continue 50 (const ())))>)
 (52 . #<cps (kargs () () (continue 49 (rec)))>)
 (53 . #<cps (kargs () () (continue 51 (unspecified)))>)
 (54 . #<cps (kargs (arg) (53) (continue 53 (branch 52 (values 53))))>)
 (55 . #<cps (kargs (arg) (54) (continue 53 (branch 52 (values 54))))>)
 (56 . #<cps (kargs (unboxed) (55) (continue 55 (primcall vector-ref 1 55))=
)>)
 (57 . #<cps (kargs () () (continue 54 (const #f)))>)
 (58 . #<cps (kargs () () (continue 56 (primcall scm->u64 11)))>)
 (59 . #<cps (kargs () () (continue 19 (unspecified)))>)
 (60 . #<cps (kargs () () (continue 58 (branch 57 (primcall =3D 8 11))))>)
 (61 . #<cps (kargs (j) (11) (continue 60 (branch 59 (primcall >=3D 11 6)))=
)>)
 (62 . #<cps (kclause ((j) () #f () #f) 61)>)
 (63 . #<cps (kfun ((name . loop)) 25 18 62)>)
 (64 . #<cps (kargs (nil) (57) (continue 14 (primcall cons 56 57)))>)
 (65 . #<cps (kargs (val) (56) (continue 64 (const ())))>)
 (66 . #<cps (kargs (t1 rest) (9 58) (continue 17 (rec (loop 10 (fun 63))))=
)>)
 (67 . #<cps (kreceive (t1) rest 66)>)
 (68 . #<cps (kargs (arg) (61) (continue 67 (call 59 60 61 4)))>)
 (69 . #<cps (kargs (unboxed) (62) (continue 68 (primcall vector-ref 2 62))=
)>)
 (70 . #<cps (kargs (arg) (60) (continue 69 (primcall scm->u64 8)))>)
 (71 . #<cps (kargs (unboxed) (63) (continue 70 (primcall vector-ref 3 63))=
)>)
 (72 . #<cps (kargs (arg) (59) (continue 71 (primcall scm->u64 8)))>)
 (73 . #<cps (kargs (box) (64) (continue 72 (primcall box-ref 64)))>)
 (74 . #<cps (kargs (scope) (67) (continue 73 (primcall cached-toplevel-box=
 67 65 66)))>)
 (75 . #<cps (kargs (bound?) (66) (continue 74 (const 0)))>)
 (76 . #<cps (kargs (name) (65) (continue 75 (const #t)))>)
 (77 . #<cps (kargs () () (continue 76 (const get-item-at-index)))>)
 (78 . #<cps (kargs (nil) (69) (continue 14 (primcall cons 68 69)))>)
 (79 . #<cps (kargs (val) (68) (continue 78 (const ())))>)
 (80 . #<cps (kargs () () (continue 77 (rec)))>)
 (81 . #<cps (kargs () () (continue 79 (unspecified)))>)
 (82 . #<cps (kargs (arg) (70) (continue 81 (branch 80 (values 70))))>)
 (83 . #<cps (kargs (unboxed) (71) (continue 82 (primcall vector-ref 1 71))=
)>)
 (84 . #<cps (kargs () () (continue 11 (unspecified)))>)
 (85 . #<cps (kargs () () (continue 83 (primcall scm->u64 8)))>)
 (86 . #<cps (kargs (i) (8) (continue 85 (branch 84 (primcall >=3D 8 6))))>)
 (87 . #<cps (kclause ((i) () #f () #f) 86)>)
 (88 . #<cps (kfun ((name . loop)) 19 10 87)>)
 (89 . #<cps (kargs (val) (72) (continue 7 (values 72)))>)
 (90 . #<cps (kargs (n) (6) (continue 9 (rec (loop 7 (fun 88)))))>)
 (91 . #<cps (kargs (u64) (73) (continue 90 (primcall u64->scm 73)))>)
 (92 . #<cps (kargs () () (continue 91 (primcall vector-length 1)))>)
 (93 . #<cps (kargs (vals) (74) (continue 92 (rec)))>)
 (94 . #<cps (kreceive () vals 93)>)
 (95 . #<cps (kargs (arg rest) (76 77) (continue 94 (call 75 76)))>)
 (96 . #<cps (kreceive (arg) rest 95)>)
 (97 . #<cps (kargs (arg) (78) (continue 96 (call 78 5)))>)
 (98 . #<cps (kargs (box) (79) (continue 97 (primcall box-ref 79)))>)
 (99 . #<cps (kargs (scope) (82) (continue 98 (primcall cached-toplevel-box=
 82 80 81)))>)
 (100 . #<cps (kargs (bound?) (81) (continue 99 (const 0)))>)
 (101 . #<cps (kargs (name) (80) (continue 100 (const #t)))>)
 (102 . #<cps (kargs (arg) (75) (continue 101 (const is-binder?)))>)
 (103 . #<cps (kargs (box) (83) (continue 102 (primcall box-ref 83)))>)
 (104 . #<cps (kargs (scope) (86) (continue 103 (primcall cached-toplevel-b=
ox 86 84 85)))>)
 (105 . #<cps (kargs (bound?) (85) (continue 104 (const 0)))>)
 (106 . #<cps (kargs (name) (84) (continue 105 (const #t)))>)
 (107 . #<cps (kargs (vals) (87) (continue 106 (const assert)))>)
 (108 . #<cps (kreceive () vals 107)>)
 (109 . #<cps (kargs (arg) (89) (continue 108 (call 88 89)))>)
 (110 . #<cps (kargs (arg) (88) (continue 109 (const "select-nearest-method=
s")))>)
 (111 . #<cps (kargs (box) (90) (continue 110 (primcall box-ref 90)))>)
 (112 . #<cps (kargs (scope) (93) (continue 111 (primcall cached-toplevel-b=
ox 93 91 92)))>)
 (113 . #<cps (kargs (bound?) (92) (continue 112 (const 0)))>)
 (114 . #<cps (kargs (name) (91) (continue 113 (const #t)))>)
 (115 . #<cps (kargs (binder index v-fixed-args v-rest-arg vb-included) (5 =
4 3 2 1) (continue 114 (const dwl4)))>)
 (116 . #<cps (kclause ((binder index v-fixed-args v-rest-arg vb-included) =
() #f () #f) 115)>)
 (117 . #<cps (kfun ((name . select-nearest-methods)) 17 7 116)>)
 (118 . #<cps (kargs () () (continue 6 (fun 117)))>)
 (119 . #<cps (kargs (scope) (95) (continue 118 (primcall cache-current-mod=
ule! 94 95)))>)
 (120 . #<cps (kargs (module) (94) (continue 119 (const 0)))>)
 (121 .
  #<cps (kargs () () (continue 120 (primcall current-module)))>)
 (122 . #<cps (kclause (() () #f () #f) 121)>))
scheme@(guile-user)> (define vb (compile code #:from 'scheme #:to 'bytecode=
))
ERROR: In procedure scm-error:
User interrupt

Entering a new prompt.  Type `,bt' for a backtrace or `,q' to continue.
scheme@(guile-user) [1]> ,bt
In current input:
    82:11 13 (_)
In system/base/compile.scm:
    255:6 12 (compile _ #:from _ #:to _ #:env _ #:opts _)
   183:32 11 (compile-fold _ _ _ ())
In language/cps/compile-bytecode.scm:
   609:12 10 (compile-bytecode _ #<module (#{ g767}#) 11b5460> ())
   603:12  9 (lower-cps _ _)
In language/cps/optimize.scm:
    106:0  8 (optimize-first-order-cps _ _)
In language/cps/specialize-numbers.scm:
   724:23  7 (specialize-numbers _)
   438:10  6 (specialize-operations _)
In language/cps/intmap.scm:
    521:5  5 (visit-branch #(#(#<cps (kfun () 0 12 1)> #<cps (kclause (() (=
) #f () #f) 2)> #<cps (kargs () () (continue 3 (primcall current-module=E2=
=80=A6> =E2=80=A6) =E2=80=A6) =E2=80=A6)
    521:5  4 (visit-branch #(#<cps (kfun () 0 12 1)> #<cps (kclause (() () =
#f () #f) 2)> #<cps (kargs () () (continue 3 (primcall current-module)))> #=
 =E2=80=A6) =E2=80=A6)
In language/cps/specialize-numbers.scm:
--8<---------------cut here---------------end--------------->8---

Message sent to bug-guile@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#31594: Code causes guild compile to hang
Resent-From: Mark H Weaver <mhw@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Wed, 06 Jun 2018 02:26:02 +0000
Resent-Message-ID: <handler.31594.B31594.15282519097394 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 31594
X-GNU-PR-Package: guile
X-GNU-PR-Keywords: 
To: Tommi =?UTF-8?Q?H=C3=B6yn=C3=A4l=C3=A4nmaa?= <tommi.hoynalanmaa@HIDDEN>
Cc: 31594 <at> debbugs.gnu.org
Received: via spool by 31594-submit <at> debbugs.gnu.org id=B31594.15282519097394
          (code B ref 31594); Wed, 06 Jun 2018 02:26:02 +0000
Received: (at 31594) by debbugs.gnu.org; 6 Jun 2018 02:25:09 +0000
Received: from localhost ([127.0.0.1]:35740 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1fQO8K-0001vB-QD
	for submit <at> debbugs.gnu.org; Tue, 05 Jun 2018 22:25:09 -0400
Received: from world.peace.net ([64.112.178.59]:52410)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <mhw@HIDDEN>) id 1fQO8I-0001ue-E6
 for 31594 <at> debbugs.gnu.org; Tue, 05 Jun 2018 22:25:07 -0400
Received: from mhw by world.peace.net with esmtpsa
 (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89)
 (envelope-from <mhw@HIDDEN>)
 id 1fQO8B-0007k2-3Q; Tue, 05 Jun 2018 22:24:59 -0400
From: Mark H Weaver <mhw@HIDDEN>
References: <CAAkPRizz=UwoGpdK3qaAnGnk1G0O41tN-bmgwwyftuGZ=0jCQA@HIDDEN>
 <87efhk3nb5.fsf@HIDDEN>
Date: Tue, 05 Jun 2018 22:23:41 -0400
In-Reply-To: <87efhk3nb5.fsf@HIDDEN> (Mark H. Weaver's message of "Tue, 05
 Jun 2018 18:01:34 -0400")
Message-ID: <87vaaw1wlu.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

Mark H Weaver <mhw@HIDDEN> writes:

> Tommi H=C3=B6yn=C3=A4l=C3=A4nmaa <tommi.hoynalanmaa@HIDDEN> writes:
>
>> The following code causes command "guild compile" to hang:
>> ---cut here---
>> (define (select-nearest-methods binder
>>                 index v-fixed-args v-rest-arg vb-included)
>>   (dwl4 "select-nearest-methods")
>>   (assert (is-binder? binder))
>>   (let ((n (vector-length vb-included)))
>>     (do ((i 0 (+ i 1))) ((>=3D i n))
>>       (if (vector-ref vb-included i)
>>       (let ((t1 (get-item-at-index
>>              (vector-ref v-fixed-args i)
>>              (vector-ref v-rest-arg i)
>>              index)))
>>         (do ((j 0 (+ j 1))) ((>=3D j n))
>>           (if (and (not (=3D i j))
>>                (vector-ref vb-included j))
>>           (let ((t2 (get-item-at-index
>>                  (vector-ref v-fixed-args j)
>>                  (vector-ref v-rest-arg j)
>>                  index)))
>>             (if (is-t-subtype? binder t1 t2)
>>             ;; t2 is excluded
>>             (vector-set! vb-included j #f))))))))))
>> ---cut here---

Further investigation reveals that the loop in compute-significant-bits
in (language cps specialize-numbers) fails to terminate.  I instrumented
it as follows:

--8<---------------cut here---------------start------------->8---
diff --git a/module/language/cps/specialize-numbers.scm b/module/language/c=
ps/specialize-numbers.scm
index d5587037b..7be0b5e33 100644
--- a/module/language/cps/specialize-numbers.scm
+++ b/module/language/cps/specialize-numbers.scm
@@ -211,9 +211,21 @@
   "Given the locally inferred types @var{types}, compute a map of VAR ->
 BITS indicating the significant bits needed for a variable.  BITS may be
 #f to indicate all bits, or a non-negative integer indicating a bitmask."
-  (let ((preds (invert-graph (compute-successors cps kfun))))
+  (pk 'compute-significant-bits cps types kfun)
+  (when (getenv "GUILE_DEBUG_CPS")
+    (format (current-warning-port) "CPS:\n")
+    (for-each (match-lambda
+                ((k . v) (format (current-warning-port) "  ~s --> ~s\n" k =
v)))
+              (reverse (intmap-fold acons cps '())))
+    (format (current-warning-port) "TYPES:\n")
+    (for-each (match-lambda
+                ((k . v) (format (current-warning-port) "  ~s --> ~s\n" k =
v)))
+              (reverse (intmap-fold acons types '()))))
+  (pk 'compute-significant-bits-result
+   (let ((preds (pk 'preds (invert-graph (compute-successors cps kfun)))))
     (let lp ((worklist (intmap-keys preds)) (visited empty-intset)
              (out empty-intmap))
+       (pk 'lp 'worklist worklist 'visited visited 'out out)
       (match (intset-prev worklist)
         (#f out)
         (label
@@ -276,7 +288,7 @@
                           (add-unknown-uses out args))))
                    (($ $prompt escape? tag handler)
                     (add-unknown-use out tag)))))
-              (_ out)))))))))
+               (_ out))))))))))
=20
 (define (specialize-operations cps)
   (define (visit-cont label cont cps types sigbits)
--8<---------------cut here---------------end--------------->8---

and here's a reformatted version of the resulting output when compiling
Tommi's code above:

--8<---------------cut here---------------start------------->8---
;;; (compute-significant-bits #<intmap 0-103> #<intmap 13+0-90> 13)

CPS:
  0 --> #<cps (kfun () 0 12 1)>
  1 --> #<cps (kclause (() () #f () #f) 2)>
  2 --> #<cps (kargs () () (continue 3 (primcall current-module)))>
  3 --> #<cps (kargs (module) (1) (continue 4 (const 0)))>
  4 --> #<cps (kargs (scope) (2) (continue 5 (primcall cache-current-module=
! 1 2)))>
  5 --> #<cps (kargs () () (continue 6 (closure 13 0)))>
  6 --> #<cps (kargs (arg) (3) (continue 7 (const select-nearest-methods)))>
  7 --> #<cps (kargs (name) (4) (continue 8 (primcall define! 4)))>
  8 --> #<cps (kargs (box) (5) (continue 9 (closure 13 0)))>
  9 --> #<cps (kargs (#f) (6) (continue 10 (primcall box-set! 5 6)))>
  10 --> #<cps (kargs () () (continue 11 (unspecified)))>
  11 --> #<cps (kargs (unspecified) (7) (continue 12 (values 7)))>
  12 --> #<cps (ktail)>
  13 --> #<cps (kfun ((name . select-nearest-methods)) 8 103 14)>
  14 --> #<cps (kclause ((binder index v-fixed-args v-rest-arg vb-included)=
 () #f () #f) 15)>
  15 --> #<cps (kargs (binder index v-fixed-args v-rest-arg vb-included) (9=
 10 11 12 13) (continue 16 (const dwl4)))>
  16 --> #<cps (kargs (name) (14) (continue 17 (const #t)))>
  17 --> #<cps (kargs (bound?) (15) (continue 18 (const 0)))>
  18 --> #<cps (kargs (scope) (16) (continue 19 (primcall cached-toplevel-b=
ox 16 14 15)))>
  19 --> #<cps (kargs (box) (17) (continue 20 (primcall box-ref 17)))>
  20 --> #<cps (kargs (arg) (18) (continue 21 (const "select-nearest-method=
s")))>
  21 --> #<cps (kargs (arg) (19) (continue 22 (call 18 19)))>
  22 --> #<cps (kreceive () vals 23)>
  23 --> #<cps (kargs (tmp) (20) (continue 24 (const assert)))>
  24 --> #<cps (kargs (name) (21) (continue 25 (primcall cached-toplevel-bo=
x 16 21 15)))>
  25 --> #<cps (kargs (box) (22) (continue 26 (primcall box-ref 22)))>
  26 --> #<cps (kargs (arg) (23) (continue 27 (const is-binder?)))>
  27 --> #<cps (kargs (name) (24) (continue 28 (primcall cached-toplevel-bo=
x 16 24 15)))>
  28 --> #<cps (kargs (box) (25) (continue 29 (primcall box-ref 25)))>
  29 --> #<cps (kargs (arg) (26) (continue 30 (call 26 9)))>
  30 --> #<cps (kreceive (arg) rest 31)>
  31 --> #<cps (kargs (tmp tmp) (27 28) (continue 32 (call 23 27)))>
  32 --> #<cps (kreceive () vals 33)>
  33 --> #<cps (kargs (tmp) (29) (continue 34 (primcall vector-length 13)))>
  34 --> #<cps (kargs (u64) (30) (continue 35 (primcall u64->scm 30)))>
  35 --> #<cps (kargs (n) (31) (continue 36 (branch 101 (primcall >=3D 16 3=
1))))>
  36 --> #<cps (kargs () () (continue 37 (primcall scm->u64 16)))>
  37 --> #<cps (kargs (unboxed) (32) (continue 38 (primcall vector-ref 13 3=
2)))>
  38 --> #<cps (kargs (arg) (33) (continue 67 (branch 39 (values 33))))>
  39 --> #<cps (kargs () () (continue 40 (const get-item-at-index)))>
  40 --> #<cps (kargs (name) (34) (continue 41 (primcall cached-toplevel-bo=
x 16 34 15)))>
  41 --> #<cps (kargs (box) (35) (continue 42 (primcall box-ref 35)))>
  42 --> #<cps (kargs (arg) (36) (continue 43 (primcall vector-ref 11 32)))>
  43 --> #<cps (kargs (arg) (37) (continue 44 (primcall vector-ref 12 32)))>
  44 --> #<cps (kargs (arg) (38) (continue 45 (call 36 37 38 10)))>
  45 --> #<cps (kreceive (t1) rest 46)>
  46 --> #<cps (kargs (tmp tmp) (39 40) (continue 47 (values 16)))>
  47 --> #<cps (kargs (j) (41) (continue 48 (branch 67 (primcall >=3D 41 31=
))))>
  48 --> #<cps (kargs () () (continue 49 (branch 65 (primcall =3D 16 41))))>
  49 --> #<cps (kargs () () (continue 50 (primcall scm->u64 41)))>
  50 --> #<cps (kargs (unboxed) (42) (continue 51 (primcall vector-ref 13 4=
2)))>
  51 --> #<cps (kargs (arg) (43) (continue 65 (branch 52 (values 43))))>
  52 --> #<cps (kargs () () (continue 53 (primcall box-ref 35)))>
  53 --> #<cps (kargs (arg) (44) (continue 54 (primcall vector-ref 11 42)))>
  54 --> #<cps (kargs (arg) (45) (continue 55 (primcall vector-ref 12 42)))>
  55 --> #<cps (kargs (arg) (46) (continue 56 (call 44 45 46 10)))>
  56 --> #<cps (kreceive (t2) rest 57)>
  57 --> #<cps (kargs (tmp tmp) (47 48) (continue 58 (const is-t-subtype?))=
)>
  58 --> #<cps (kargs (name) (49) (continue 59 (primcall cached-toplevel-bo=
x 16 49 15)))>
  59 --> #<cps (kargs (box) (50) (continue 60 (primcall box-ref 50)))>
  60 --> #<cps (kargs (arg) (51) (continue 61 (call 51 9 39 47)))>
  61 --> #<cps (kreceive (arg) rest 62)>
  62 --> #<cps (kargs (tmp tmp) (52 53) (continue 65 (branch 63 (values 52)=
)))>
  63 --> #<cps (kargs () () (continue 64 (const #f)))>
  64 --> #<cps (kargs (arg) (54) (continue 65 (primcall vector-set! 13 42 5=
4)))>
  65 --> #<cps (kargs () () (continue 66 (const 1)))>
  66 --> #<cps (kargs (arg) (55) (continue 47 (primcall add 41 55)))>
  67 --> #<cps (kargs () () (continue 68 (const 1)))>
  68 --> #<cps (kargs (arg) (56) (continue 69 (const 1)))>
  69 --> #<cps (kargs (i) (57) (continue 70 (branch 101 (primcall >=3D 57 3=
1))))>
  70 --> #<cps (kargs () () (continue 71 (primcall scm->u64 57)))>
  71 --> #<cps (kargs (unboxed) (58) (continue 72 (primcall vector-ref 13 5=
8)))>
  72 --> #<cps (kargs (arg) (59) (continue 100 (branch 73 (values 59))))>
  73 --> #<cps (kargs () () (continue 74 (const get-item-at-index)))>
  74 --> #<cps (kargs (name) (60) (continue 75 (primcall cached-toplevel-bo=
x 16 60 15)))>
  75 --> #<cps (kargs (box) (61) (continue 76 (primcall box-ref 61)))>
  76 --> #<cps (kargs (arg) (62) (continue 77 (primcall vector-ref 11 58)))>
  77 --> #<cps (kargs (arg) (63) (continue 78 (primcall vector-ref 12 58)))>
  78 --> #<cps (kargs (arg) (64) (continue 79 (call 62 63 64 10)))>
  79 --> #<cps (kreceive (t1) rest 80)>
  80 --> #<cps (kargs (tmp tmp) (65 66) (continue 81 (values 16)))>
  81 --> #<cps (kargs (j) (67) (continue 82 (branch 100 (primcall >=3D 67 3=
1))))>
  82 --> #<cps (kargs () () (continue 83 (branch 99 (primcall =3D 57 67))))>
  83 --> #<cps (kargs () () (continue 84 (primcall scm->u64 67)))>
  84 --> #<cps (kargs (unboxed) (68) (continue 85 (primcall vector-ref 13 6=
8)))>
  85 --> #<cps (kargs (arg) (69) (continue 99 (branch 86 (values 69))))>
  86 --> #<cps (kargs () () (continue 87 (primcall box-ref 61)))>
  87 --> #<cps (kargs (arg) (70) (continue 88 (primcall vector-ref 11 68)))>
  88 --> #<cps (kargs (arg) (71) (continue 89 (primcall vector-ref 12 68)))>
  89 --> #<cps (kargs (arg) (72) (continue 90 (call 70 71 72 10)))>
  90 --> #<cps (kreceive (t2) rest 91)>
  91 --> #<cps (kargs (tmp tmp) (73 74) (continue 92 (const is-t-subtype?))=
)>
  92 --> #<cps (kargs (name) (75) (continue 93 (primcall cached-toplevel-bo=
x 16 75 15)))>
  93 --> #<cps (kargs (box) (76) (continue 94 (primcall box-ref 76)))>
  94 --> #<cps (kargs (arg) (77) (continue 95 (call 77 9 65 73)))>
  95 --> #<cps (kreceive (arg) rest 96)>
  96 --> #<cps (kargs (tmp tmp) (78 79) (continue 99 (branch 97 (values 78)=
)))>
  97 --> #<cps (kargs () () (continue 98 (const #f)))>
  98 --> #<cps (kargs (arg) (80) (continue 99 (primcall vector-set! 13 68 8=
0)))>
  99 --> #<cps (kargs () () (continue 81 (primcall add 67 56)))>
  100 --> #<cps (kargs () () (continue 69 (primcall add 57 56)))>
  101 --> #<cps (kargs () () (continue 102 (unspecified)))>
  102 --> #<cps (kargs (val) (81) (continue 103 (values 81)))>
  103 --> #<cps (ktail)>

TYPES:
  13 --> #(#<intmap> #<intmap 8+0>)
  14 --> #(#<intmap 8+0> #<intmap 8+0-5>)
  15 --> #(#<intmap 8+0-5> #<intmap 8+0-6>)
  16 --> #(#<intmap 8+0-6> #<intmap 8+0-7>)
  17 --> #(#<intmap 8+0-7> #<intmap 8+0-8>)
  18 --> #(#<intmap 8+0-8> #<intmap 8+0-9>)
  19 --> #(#<intmap 8+0-9> #<intmap 8+0-10>)
  20 --> #(#<intmap 8+0-10> #<intmap 8+0-11>)
  21 --> #(#<intmap 8+0-11> #<intmap 8+0-11>)
  22 --> #(#<intmap 8+0-11> #<intmap 8+0-12>)
  23 --> #(#<intmap 8+0-12> #<intmap 8+0-13>)
  24 --> #(#<intmap 8+0-13> #<intmap 8+0-14>)
  25 --> #(#<intmap 8+0-14> #<intmap 8+0-15>)
  26 --> #(#<intmap 8+0-15> #<intmap 8+0-16>)
  27 --> #(#<intmap 8+0-16> #<intmap 8+0-17>)
  28 --> #(#<intmap 8+0-17> #<intmap 8+0-18>)
  29 --> #(#<intmap 8+0-18> #<intmap 8+0-18>)
  30 --> #(#<intmap 8+0-18> #<intmap 8+0-20>)
  31 --> #(#<intmap 8+0-20> #<intmap 8+0-20>)
  32 --> #(#<intmap 8+0-20> #<intmap 8+0-21>)
  33 --> #(#<intmap 8+0-21> #<intmap 8+0-22>)
  34 --> #(#<intmap 8+0-22> #<intmap 8+0-23>)
  35 --> #(#<intmap 8+0-23> #<intmap 8+0-23> #<intmap 8+0-23>)
  36 --> #(#<intmap 8+0-23> #<intmap 8+0-24>)
  37 --> #(#<intmap 8+0-24> #<intmap 8+0-25>)
  38 --> #(#<intmap 8+0-25> #<intmap 8+0-25> #<intmap 8+0-25>)
  39 --> #(#<intmap 8+0-25> #<intmap 8+0-26>)
  40 --> #(#<intmap 8+0-26> #<intmap 8+0-27>)
  41 --> #(#<intmap 8+0-27> #<intmap 8+0-28>)
  42 --> #(#<intmap 8+0-28> #<intmap 8+0-29>)
  43 --> #(#<intmap 8+0-29> #<intmap 8+0-30>)
  44 --> #(#<intmap 8+0-30> #<intmap 8+0-30>)
  45 --> #(#<intmap 8+0-30> #<intmap 8+0-32>)
  46 --> #(#<intmap 8+0-32> #<intmap 8+0-33>)
  47 --> #(#<intmap 8+0-33> #<intmap 8+0-33> #<intmap 8+0-33>)
  48 --> #(#<intmap 8+0-33> #<intmap 8+0-33> #<intmap 8+0-33>)
  49 --> #(#<intmap 8+0-33> #<intmap 8+0-34>)
  50 --> #(#<intmap 8+0-34> #<intmap 8+0-35>)
  51 --> #(#<intmap 8+0-35> #<intmap 8+0-35> #<intmap 8+0-35>)
  52 --> #(#<intmap 8+0-35> #<intmap 8+0-36>)
  53 --> #(#<intmap 8+0-36> #<intmap 8+0-37>)
  54 --> #(#<intmap 8+0-37> #<intmap 8+0-38>)
  55 --> #(#<intmap 8+0-38> #<intmap 8+0-38>)
  56 --> #(#<intmap 8+0-38> #<intmap 8+0-40>)
  57 --> #(#<intmap 8+0-40> #<intmap 8+0-41>)
  58 --> #(#<intmap 8+0-41> #<intmap 8+0-42>)
  59 --> #(#<intmap 8+0-42> #<intmap 8+0-43>)
  60 --> #(#<intmap 8+0-43> #<intmap 8+0-43>)
  61 --> #(#<intmap 8+0-43> #<intmap 8+0-45>)
  62 --> #(#<intmap 8+0-45> #<intmap 8+0-45> #<intmap 8+0-45>)
  63 --> #(#<intmap 8+0-45> #<intmap 8+0-46>)
  64 --> #(#<intmap 8+0-46> #<intmap 8+0-46>)
  65 --> #(#<intmap 8+0-33> #<intmap 8+0-33,47>)
  66 --> #(#<intmap 8+0-33,47> #<intmap 8+0-33,47>)
  67 --> #(#<intmap 8+0-25> #<intmap 8+0-25,48>)
  68 --> #(#<intmap 8+0-25,48> #<intmap 8+0-25,48-49>)
  69 --> #(#<intmap 8+0-25,48-49> #<intmap 8+0-25,48-49> #<intmap 8+0-25,48=
-49>)
  70 --> #(#<intmap 8+0-25,48-49> #<intmap 8+0-25,48-50>)
  71 --> #(#<intmap 8+0-25,48-50> #<intmap 8+0-25,48-51>)
  72 --> #(#<intmap 8+0-25,48-51> #<intmap 8+0-25,48-51> #<intmap 8+0-25,48=
-51>)
  73 --> #(#<intmap 8+0-25,48-51> #<intmap 8+0-25,48-52>)
  74 --> #(#<intmap 8+0-25,48-52> #<intmap 8+0-25,48-53>)
  75 --> #(#<intmap 8+0-25,48-53> #<intmap 8+0-25,48-54>)
  76 --> #(#<intmap 8+0-25,48-54> #<intmap 8+0-25,48-55>)
  77 --> #(#<intmap 8+0-25,48-55> #<intmap 8+0-25,48-56>)
  78 --> #(#<intmap 8+0-25,48-56> #<intmap 8+0-25,48-56>)
  79 --> #(#<intmap 8+0-25,48-56> #<intmap 8+0-25,48-58>)
  80 --> #(#<intmap 8+0-25,48-58> #<intmap 8+0-25,48-59>)
  81 --> #(#<intmap 8+0-25,48-59> #<intmap 8+0-25,48-59> #<intmap 8+0-25,48=
-59>)
  82 --> #(#<intmap 8+0-25,48-59> #<intmap 8+0-25,48-59> #<intmap 8+0-25,48=
-59>)
  83 --> #(#<intmap 8+0-25,48-59> #<intmap 8+0-25,48-60>)
  84 --> #(#<intmap 8+0-25,48-60> #<intmap 8+0-25,48-61>)
  85 --> #(#<intmap 8+0-25,48-61> #<intmap 8+0-25,48-61> #<intmap 8+0-25,48=
-61>)
  86 --> #(#<intmap 8+0-25,48-61> #<intmap 8+0-25,48-62>)
  87 --> #(#<intmap 8+0-25,48-62> #<intmap 8+0-25,48-63>)
  88 --> #(#<intmap 8+0-25,48-63> #<intmap 8+0-25,48-64>)
  89 --> #(#<intmap 8+0-25,48-64> #<intmap 8+0-25,48-64>)
  90 --> #(#<intmap 8+0-25,48-64> #<intmap 8+0-25,48-66>)
  91 --> #(#<intmap 8+0-25,48-66> #<intmap 8+0-25,48-67>)
  92 --> #(#<intmap 8+0-25,48-67> #<intmap 8+0-25,48-68>)
  93 --> #(#<intmap 8+0-25,48-68> #<intmap 8+0-25,48-69>)
  94 --> #(#<intmap 8+0-25,48-69> #<intmap 8+0-25,48-69>)
  95 --> #(#<intmap 8+0-25,48-69> #<intmap 8+0-25,48-71>)
  96 --> #(#<intmap 8+0-25,48-71> #<intmap 8+0-25,48-71> #<intmap 8+0-25,48=
-71>)
  97 --> #(#<intmap 8+0-25,48-71> #<intmap 8+0-25,48-72>)
  98 --> #(#<intmap 8+0-25,48-72> #<intmap 8+0-25,48-72>)
  99 --> #(#<intmap 8+0-25,48-59> #<intmap 8+0-25,48-59>)
  100 --> #(#<intmap 8+0-25,48-51> #<intmap 8+0-25,48-51>)
  101 --> #(#<intmap 8+0-23> #<intmap 8+0-23,73>)
  102 --> #(#<intmap 8+0-23,73> #<intmap 8+0-23,73>)
  103 --> #(#<intmap 8+0-23,73>)

;;; (preds #<intmap 13+0-90>)
;;; (lp worklist #<intset 13-103>             visited #<intset>          ou=
t #<intmap>)
;;; (lp worklist #<intset 13-102>             visited #<intset 103>      ou=
t #<intmap>)
;;; (lp worklist #<intset 13-101>             visited #<intset 102-103>  ou=
t #<intmap 81+0>)
;;; (lp worklist #<intset 13-100>             visited #<intset 101-103>  ou=
t #<intmap 81+0>)
;;; (lp worklist #<intset 13-99>              visited #<intset 100-103>  ou=
t #<intmap 56+0-1,25>)
;;; (lp worklist #<intset 13-98>              visited #<intset 99-103>   ou=
t #<intmap 56+0-1,11,25>)
;;; (lp worklist #<intset 13-97>              visited #<intset 98-103>   ou=
t #<intmap 13+0,43-44,54-55,67-68>)
;;; (lp worklist #<intset 13-96>              visited #<intset 97-103>   ou=
t #<intmap 13+0,43-44,54-55,67-68>)
;;; (lp worklist #<intset 13-95>              visited #<intset 96-103>   ou=
t #<intmap 13+0,43-44,54-55,65-68>)
;;; (lp worklist #<intset 13-94>              visited #<intset 95-103>   ou=
t #<intmap 13+0,43-44,54-55,65-68>)
;;; (lp worklist #<intset 13-93>              visited #<intset 94-103>   ou=
t #<intmap 9+0,4,47-48,56,58-59,64,68-72>)
;;; (lp worklist #<intset 13-92>              visited #<intset 93-103>   ou=
t #<intmap 9+0,4,47-48,56,58-59,64,67-72>)
;;; (lp worklist #<intset 13-91>              visited #<intset 92-103>   ou=
t #<intmap 9+0,4,6-7,47-48,56,58-59,64,66-72>)
;;; (lp worklist #<intset 13-90>              visited #<intset 91-103>   ou=
t #<intmap 9+0,4,6-7,47-48,56,58-59,64-72>)
;;; (lp worklist #<intset 13-89>              visited #<intset 90-103>   ou=
t #<intmap 9+0,4,6-7,47-48,56,58-59,64-72>)
;;; (lp worklist #<intset 13-88>              visited #<intset 89-103>   ou=
t #<intmap 9+0-1,4,6-7,47-48,56,58-59,61-72>)
;;; (lp worklist #<intset 13-87>              visited #<intset 88-103>   ou=
t #<intmap 9+0-1,3-4,6-7,47-48,56,58-59,61-72>)
;;; (lp worklist #<intset 13-86>              visited #<intset 87-103>   ou=
t #<intmap 9+0-4,6-7,47-48,56,58-59,61-72>)
;;; (lp worklist #<intset 13-85>              visited #<intset 86-103>   ou=
t #<intmap 9+0-4,6-7,47-48,52,56,58-59,61-72>)
;;; (lp worklist #<intset 13-84>              visited #<intset 85-103>   ou=
t #<intmap 9+0-4,6-7,47-48,52,56,58-72>)
;;; (lp worklist #<intset 13-83>              visited #<intset 84-103>   ou=
t #<intmap 9+0-4,6-7,47-48,52,56,58-72>)
;;; (lp worklist #<intset 13-82>              visited #<intset 83-103>   ou=
t #<intmap 9+0-4,6-7,47-48,52,56,58-72>)
;;; (lp worklist #<intset 13-81>              visited #<intset 82-103>   ou=
t #<intmap 9+0-4,6-7,47-48,52,56,58-72>)
;;; (lp worklist #<intset 13-80,99>           visited #<intset 81-103>   ou=
t #<intmap 9+0-4,6-7,22,47-48,52,56,58-72>)
;;; (lp worklist #<intset 13-80,82,85,96,98>  visited #<intset 81-103>   ou=
t #<intmap 9+0-4,6-7,22,47-48,52,56,58-72>)
;;; (lp worklist #<intset 13-80,82,85,96>     visited #<intset 81-103>   ou=
t #<intmap 9+0-4,6-7,22,47-48,52,56,58-72>)
;;; (lp worklist #<intset 13-80,82,85>        visited #<intset 81-103>   ou=
t #<intmap 9+0-4,6-7,22,47-48,52,56,58-72>)
;;; (lp worklist #<intset 13-80,82>           visited #<intset 81-103>   ou=
t #<intmap 9+0-4,6-7,22,47-48,52,56,58-72>)
;;; (lp worklist #<intset 13-81>              visited #<intset 81-103>   ou=
t #<intmap 9+0-4,6-7,22,47-48,52,56,58-72>)

;;; (lp worklist #<intset 13-80,99>           visited #<intset 81-103>   ou=
t #<intmap 9+0-4,6-7,22,47-48,52,56,58-72>)
;;; (lp worklist #<intset 13-80,82,85,96,98>  visited #<intset 81-103>   ou=
t #<intmap 9+0-4,6-7,22,47-48,52,56,58-72>)
;;; (lp worklist #<intset 13-80,82,85,96>     visited #<intset 81-103>   ou=
t #<intmap 9+0-4,6-7,22,47-48,52,56,58-72>)
;;; (lp worklist #<intset 13-80,82,85>        visited #<intset 81-103>   ou=
t #<intmap 9+0-4,6-7,22,47-48,52,56,58-72>)
;;; (lp worklist #<intset 13-80,82>           visited #<intset 81-103>   ou=
t #<intmap 9+0-4,6-7,22,47-48,52,56,58-72>)
;;; (lp worklist #<intset 13-81>              visited #<intset 81-103>   ou=
t #<intmap 9+0-4,6-7,22,47-48,52,56,58-72>)

;;; (lp worklist #<intset 13-80,99>           visited #<intset 81-103>   ou=
t #<intmap 9+0-4,6-7,22,47-48,52,56,58-72>)
;;; (lp worklist #<intset 13-80,82,85,96,98>  visited #<intset 81-103>   ou=
t #<intmap 9+0-4,6-7,22,47-48,52,56,58-72>)
;;; (lp worklist #<intset 13-80,82,85,96>     visited #<intset 81-103>   ou=
t #<intmap 9+0-4,6-7,22,47-48,52,56,58-72>)
;;; (lp worklist #<intset 13-80,82,85>        visited #<intset 81-103>   ou=
t #<intmap 9+0-4,6-7,22,47-48,52,56,58-72>)
;;; (lp worklist #<intset 13-80,82>           visited #<intset 81-103>   ou=
t #<intmap 9+0-4,6-7,22,47-48,52,56,58-72>)
;;; (lp worklist #<intset 13-81>              visited #<intset 81-103>   ou=
t #<intmap 9+0-4,6-7,22,47-48,52,56,58-72>)

;;; [the 6 loop states above repeat forever]
--8<---------------cut here---------------end--------------->8---

To be continued ...

     Mark

Last modified: Mon, 25 Nov 2019 12:00:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.