CFfuncond can't handle matching legs
Bugzilla Link | 526 |
Created on | Jul 16, 2009 22:45 |
Version | 1.00beta |
OS | Linux |
Architecture | PC |
Attachments | iotaonly8.sac |
Extended Description
I was dusting off the constant folder today, and noted that CFfuncond doesn't catch the case of: z5 = id(true) ? t1 : t1; The problem is that. by the time CF looks at the expression, it is a lacfn, so t1 and t1 have become t1 and t2, and they will never match.