id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	difficulty
100	inlining can break assumptions about contraction	felix winkelmann		"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
"	defect	closed	major		core-pending	4.2.x	fixed	optimizer