id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	difficulty
99	inlining may change status of contractables	felix winkelmann	felix winkelmann	"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.
"	defect	closed	major		compiler	4.2.x	duplicate