Summary

inlining can break assumptions about contraction

Metadata

Description

When inlining a procedure that contains a call to a contractable (a procedure called only once, which will always be beta-substituted) and the contraction happens in the same optimization pass, then the contraction will take place multiple times resulting in duplicate C function definitions.

This was reported by Jörg Wittenberger.

See commit 5c851ce643b4cd995c7fd467162efdc922c61b83

Changes and comments

[2009-11-18 08:35:15 UTC] felix changed status from new to closed

[2009-11-18 08:35:15 UTC] felix set resolution to fixed

[2009-11-18 08:35:15 UTC] felix wrote:

Merged in version 4.2.5.

[2010-03-11 10:33:12 UTC] Milestone 4.3.0 deleted