Opened 13 years ago

Closed 12 years ago

#189 closed defect (fixed)

Compiler fails for 'unsigned-byte type declaration

Reported by: Mark Evenson Owned by: ehuelsmann
Priority: minor Milestone: 1.1.0
Component: compiler Version: 1.0
Keywords: compiler, has-test Cc:
Parent Tickets:


From On <armedbear-devel@…>, Eric Marsden reports:

The following code seems to be miscompiled (works fine with an INTEGER type declaration).

CL-USER(23): (lisp-implementation-version)
CL-USER(24): (compile nil (lambda (a)
                           (declare (type unsigned-byte a))
                           (max 28105919 a 1016934843)))
CL-USER(25): (funcall * 10545160975)

(From ansi-test/random suite)

Change History (2)

comment:1 Changed 12 years ago by Mark Evenson


comment:2 Changed 12 years ago by ehuelsmann

Resolution: fixed
Status: newclosed

(In [14143]) Close #189: Fix thinko in MIN and MAX return value type derivation.

Note: See TracTickets for help on using tickets.