Summary
inlining may change status of contractables
Metadata
- Id: 4a3058d8d515d33301749c440ca04a957af14cf5
- Trac id: 99
- Type: defect
- Reporter: felix
- Owner: felix
- Cc:
- Status: closed
- Component: compiler
- Estimated difficulty:
- Resolution: duplicate
- Priority: major
- Milestone:
- Version: 4.2.x
- Changetime: 2010-03-11 10:33:12 UTC
- Created: 2009-11-05 09:44:58 UTC
- Keywords:
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.
Changes and comments
[2009-11-11 13:41:13 UTC] felix changed status from new to closed
[2009-11-11 13:41:13 UTC] felix set resolution to duplicate
[2009-11-11 13:41:13 UTC] felix wrote:
See #100