Opened 11 years ago

Closed 11 years ago

Last modified 11 years ago

#99 closed defect (duplicate)

inlining may change status of contractables

Reported by: felix winkelmann Owned by: felix winkelmann
Priority: major Milestone:
Component: compiler Version: 4.2.x
Keywords: Cc:
Estimated difficulty:

Description

When inlining a procedure that refers to another procedure that is marked as contractable (called only once and known), then the contraction will be duplicated and result in two copies of the same procedure, with the same procedure-ID's. This will break when piped through the C compiler.

A solution is to remove the contractable status of identifiers that are found during the copying of the inlined body.

Change History (2)

comment:1 Changed 11 years ago by felix winkelmann

Resolution: duplicate
Status: newclosed

See #100

comment:2 Changed 11 years ago by (none)

Milestone: 4.3.0

Milestone 4.3.0 deleted

Note: See TracTickets for help on using tickets.