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:

Description

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)
"1.1.0-dev-svn-13695M"
CL-USER(24): (compile nil (lambda (a)
                           (declare (type unsigned-byte a))
                           (max 28105919 a 1016934843)))
#<FUNCTION (LAMBDA (A)) {2D53EAFD}>
NIL
NIL
CL-USER(25): (funcall * 10545160975)
1955226383

(From ansi-test/random suite)

Change History (2)

comment:1 Changed 13 years ago by Mark Evenson

Milestone: 1.0.1 → 1.1.0

comment:2 Changed 12 years ago by ehuelsmann

Resolution: → fixed
Status: new → closed

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

Note: See TracTickets for help on using tickets.