From: Götz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Date: Mon, 14 Jun 2004 13:01:49 +0000 (+0000)
Subject: bug
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=c1262b848350aefc25ab931e008c3b9d8472413b;p=libfirm

bug

[r3072]
---

diff --git a/TODO b/TODO
index 357270dc3..8df8d2f14 100644
--- a/TODO
+++ b/TODO
@@ -1,3 +1,12 @@
+
+  * Error in removing dead code:
+    In an if condition is a loop.  We optimized the if condition to Jmp/Bad,
+    the loop now is unreachable.  It should be removed by gigo or the like.
+    It remains in the representation as all blocks in the loop have a
+    valid predecessor, i.e., walking from End we find a true loop.  We need
+    a pass walking and marking starting at the Start node to remove this loop.
+    Currently scc causes an segmetation fault for this situation.
+
   * print routines for all enums!
 
     Add flag whether mode is associative, float modes are not!!