[Gcl-devel] Another ash-related failure in misc.lsp

[Paul F. Dietz]

The random tester turned up another ASH failure:

Test MISC.465 failed
Form: (funcall (compile nil
                        '(lambda (a)
                           (declare (type (integer -18822 -1280) a))
                           (declare (optimize (debug 0) (speed 1)
                                     (compilation-speed 3) (safety 0)
                                     (space 0)))
                           (ash (the integer
                                  (logand a
                                          (if t a (imagpart -2607360))))
                                (min 79 (catch 'ct7 0)))))
               -17635)
Expected value: -17635
Actual value: 0.

These are taking about a day to come up, so I think I'll write
some more focused random testing harnesses for type propagation
in these functions.

        Paul