Custom Query (1030 matches)

On Version 1.10-dev-r16186 (both x8632 and x8664), this form hangs the compiler interruptibly.

This can probably be trimmed down quite a bit, but I want to get it in here.

(LAMBDA (A B C D)
  (DECLARE (TYPE (INTEGER 37270 120214) A))
  (DECLARE (TYPE (INTEGER 458933 7816260) B))
  (DECLARE (TYPE (INTEGER 791477 43496750) C))
  (DECLARE (TYPE (INTEGER -48863 -3460) D))
  (DECLARE (IGNORABLE A B C D))
  (DECLARE
   (OPTIMIZE (COMPILATION-SPEED 3) (SAFETY 1) (SPACE 1) (SPEED 3)
    (DEBUG 1)))
  (LOAD-TIME-VALUE
    (DOTIMES (IV1 1
              (RESTART-BIND NIL
                            (COMPLEX (LOGIOR
                                      (IF
                                       (OR T (> 101586 -2452292))
                                       (ELT
                                        '(132654568)
                                        (MIN 0 (MAX 0 12778119)))
                                       (LET () 0)))
                                     0)))
      (- 268435453
         IV1
         -17
         IV1
         IV1
         7355042570
         -65371
         IV1
         IV1
         IV1
         -7
         IV1
         IV1
         5
         IV1
         IV1
         (REDUCE #'+ (VECTOR IV1))
         IV1
         IV1
         IV1
         (PROGN (TAGBODY (IF (AND (EQUAL -238537 14850) (/= IV1 IV1))
                             (REDUCE #'(LAMBDA
                                        (LMV6 LMV4)
                                        (RESTART-BIND
                                         NIL
                                         (ISQRT (ABS (/ 2147483657 1)))))
                                     (LIST 264 IV1)
                                     :START
                                     1)
                             (MACROLET () (MIN 33554429 -2978623)))
                 TAG1    (ELT '(88678025152)
                              (MIN 0
                                   (MAX
                                    0
                                    (*
                                     (COUNT
                                      155558
                                      #(268435115)
                                      :TEST-NOT
                                      'EQL)
                                     (BIT
                                      #*000100001101110
                                      (MIN 14 (MAX 0 (GO TAG2))))))))
                 TAG2    (GO 0)
                         0
                         (EXPT (REDUCE #'(LAMBDA
                                          (LMV5 LMV3)
                                          (EVAL
                                           (VALUES
                                            (REDUCE
                                             '+
                                             (LIST 4440788 -2 32768)
                                             :START
                                             2
                                             :FROM-END
                                             T))))
                                       (LIST
                                        IV1
                                        (/ (GO 7) 1)
                                        IV1
                                        (SYMBOL-MACROLET
                                         NIL
                                         (COUNT -1535966 '(1307070924)))
                                        IV1)
                                       :FROM-END
                                       T)
                               0)
                         7)
                IV1)
         (COUNT -243383 '(329292180) :TEST '=)
         IV1
         (LDB (BYTE 12 27) IV1)
         -244889
         2360
         (1- (RESTART-BIND NIL
                           (SVREF #(872
                                    477
                                    414
                                    934
                                    249
                                    482
                                    959
                                    97
                                    516
                                    423)
                                  (MIN 9 (MAX 0 IV1)))))
         (DOTIMES (IV2 2 -1) (/ 780201 1))))
    T))

It appears that sometimes (prog1 x y) returns y. I've attached a file where CCL returns an incorrect value, perhaps for that reason. Version/platform info is in that file, but here it is:

1.9-dev-r15527M-trunk  (LinuxX8664)

[and from uname -a:]

Linux sloth 2.6.32-45-server #100-Ubuntu SMP Wed Nov 14 11:02:27 UTC 2012 x86_64 GNU/Linux

As explained in the attached file, I didn't have this problem on a Mac for a slightly older CCL version.

The following log probably describes the bug fully. I'm not sure how to assign the priority, but this seems major to me. It occurs in 16119 but not in 15915.

dunnottar:~% uname -a
Linux dunnottar 3.2.0-64-generic #97-Ubuntu SMP Wed Jun 4 22:04:21 UTC 2014 x86_64 x86_64 x86_64 GNU/Linux
dunnottar:~% ccl
Welcome to Clozure Common Lisp Version 1.10-dev-r16119M-trunk  (LinuxX8664)!
? (defun foo (ar)
    (* (aref (the (simple-array fixnum (*)) ar)
	     0)
       (the (signed-byte 61) 1)))
> Error: The value NIL is not of the expected type INTEGER.
> While executing: INTEGER-LENGTH, in process listener(1).
> Type :POP to abort, :R for a list of available restarts.
> Type :? for other options.
1 >