WLF unnecessarily(?) assumes it must always find new intersections
|
|
Bugzilla Link |
124 |
Created on |
Sep 28, 2005 22:58 |
Resolution |
FIXED |
Resolved on |
Sep 28, 2005 23:03 |
Version |
1.00beta |
OS |
MacOS X |
Architecture |
Macintosh |
Attachments |
tuptest.sac |
Extended Description
Function "Fold" in SSAWLF.c assumes to always find new intersections. It contains a line
DBUG_ASSERT(intersect_ig,("No new intersections"));
of which I honestly don't know whether it must hold or not. At least the attached example does not
compile with the assertion in place and compiles correctly without it.