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.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information