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.
