X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=TODO;h=1607ac6863432da7107b57ef7517cac0149dc48e;hb=39417ab8f02c5e79244f4820e4530564399d69a1;hp=357270dc326c3dac79f85a6c74e1f4357fae6625;hpb=3a54957505decc179c0951298bce7e0361a79462;p=libfirm

diff --git a/TODO b/TODO
index 357270dc3..1607ac686 100644
--- a/TODO
+++ b/TODO
@@ -1,6 +1,24 @@
+
+  * Goetz 10.6.04
+    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.
+
+  * Goetz 10.6.04
+    Error in irscc:  If we have an unreachable loop, or a loop
+    resulting from an exiting endless recursion, irscc finds
+    no tail ==> issues an assertion.
+
+  * Goetz 10.6.04
+    Error in interprocedural view:  Endless recursions are lost.
+
   * print routines for all enums!
 
-    Add flag whether mode is associative, float modes are not!!
+  * Add flag whether mode is associative, float modes are not!!
 
   * 25.2.04 Goetz
     Fix memory leak in irprog: free_ir_prog.