WLIR considered harmfull


Bugzilla Link	161
Created on	Nov 28, 2005 14:08
Resolution	REMIND
Resolved on	Nov 28, 2005 14:13
Version	1.00beta
OS	Solaris
Architecture	Sun
Attachments	tutu2.sac

Extended Description

There is a conceptual problem with WLIR. If we lift invariant expressions from partitions that turn out to be empty, we may change the termination behaviour of the program adversly.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information