WLF unnecessarily(?) assumes it must always find new intersections
|Created on||Sep 28, 2005 22:58|
|Resolved on||Sep 28, 2005 23:03|
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