Opened 11 years ago

Closed 11 years ago

#624 closed defect (fixed)

relocate_area_contents() and "large" x8632 functions

Reported by: gb Owned by: gb
Priority: normal Milestone:
Component: Runtime (threads, GC) Version: trunk
Keywords: Cc:


We made a change to support "large" functions (those with 64K or more 32-bit words of code/immediate data) on x8632 by changing the interpretation of the 16-bit word which precedes the function entry point (high bit clear -> count of "code" words in low 15 bits, high bit set -> count of "node" words in low 15 bits.) We missed a case in relocate_area_contents(), which is used to handle the case where a heap image can't be mapped into the address from which it was saved.

A development version of ACL2 both created at least one "large" function and was saved from a non-canonical address (for unknown reasons) and exposed this problem.

Change History (1)

comment:1 Changed 11 years ago by gb

  • Resolution set to fixed
  • Status changed from new to closed

r13175 fixed this in the trunk, and that change was propagated to the 1.4 sources.

Note: See TracTickets for help on using tickets.