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.