[Gcl-devel] (random tester) Duplicate case values

[Paul F. Dietz]

The random tester threw out this error.  Apparently duplicate case
values (which are legal in lisp) can lead to illegal C code (where
they are not) if the compiler can determine (by type information)
that the case form can be compiled directly into a switch.  This test
shows examples of a key duplicated in the same key list and between
ifferent key lists.  See test misc.163, which is also show below:

(print
 (funcall
  (compile nil
           '(lambda (b)
              (declare (type (integer -15716 3947) b))
              (case b
                ((-7 -6 -6) :good)
                ((-5 -6) :bad)
                )))

  -6))

Compiling gazonk19.lsp.
End of Pass 1.
End of Pass 2.
gazonk19.c: In function `L1':
gazonk19.c:5224: duplicate case value
gazonk19.c:5221: previously used here
gazonk19.c:5233: duplicate case value
gazonk19.c:5224: previously used here
(SYSTEM "(cd . ;gcc -c -Wall -DVOL=volatile -fsigned-char -fwritable-strings -pipe  
-I/home/dietz/lib/gcl-2.7.0/unixport/../h  -O3 -fomit-frame-pointer -c gazonk19.c 
-w)") returned a non-zero value 0.

Fast links are on: do (use-fast-links nil) for debugging
Broken at UNLESS.  Type :H for Help.

        Paul