Opened 10 years ago

Closed 10 years ago

#581 closed defect (fixed)

new compiler return values bug

Reported by: boyer Owned by: gb
Priority: normal Milestone:
Component: Compiler Version: trunk
Keywords: Cc: gz

Description (last modified by gb)

The following transcript may indicate some sort of a bug in the latest CCL compiler's determination of the number of return values.

I can't get ACL2 to rebuild with the newest compiler, probably because of some such issue. The workhorse function FMT0 of ACL2 is sometimes returning one value instead of two values.

But I get one sort of bug building at SAFETY=3 and another sort of bug running at SAFETY=0, after a presumably bogus build at SAFETY=0. Hurray for SAFETY=3.

Thanks,

ccl -n
Welcome to Clozure Common Lisp Version 1.4-dev-r12577M-trunk  (LinuxX8664)!
? (proclaim '(optimize (safety 0)))
NIL
? (defun bar ()
  (the (values (signed-byte 30) t)
    (values (the (signed-byte 30) 1) 2)))
BAR
? (bar)
1
2
? (proclaim '(optimize (safety 3)))
NIL
? (defun bar ()
  (the (values (signed-byte 30) t)
    (values (the (signed-byte 30) 1) 2)))
BAR
? (bar)
1
? 

Bob

Change History (3)

comment:1 Changed 10 years ago by gb

  • Cc gz added
  • Description modified (diff)

comment:2 Changed 10 years ago by gb

I was a little confused by the chronology, but I think that this was introduced in r12500 and fixed in r12583.

comment:3 Changed 10 years ago by gb

  • Resolution set to fixed
  • Status changed from new to closed
Note: See TracTickets for help on using tickets.