X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=TODO;h=5db0d4ed9157b20a59bd11fdad2271365efa424e;hb=688d947320fffe9930ea01d84f57d261baea6d2a;hp=ab1a85d3a25d2d7ae069851f9fbcdec7424f53df;hpb=34471c5dd819ab71185ae606181aaa8c61673e9b;p=cparser

diff --git a/TODO b/TODO
index ab1a85d..5db0d4e 100644
--- a/TODO
+++ b/TODO
@@ -1,16 +1,35 @@
+Refactoring:
+- create an empty_statement_t and use that instead of a NULL pointer in places
+  like if, loop bodys, statements after labels
+
 Lexer:
-- proper support of preprocessor
-- parse float numbers
-- octal&hex escape sequences
-- wide string constants
-- proper handling of different file encodings
+- Add preprocessor code
+- proper handling of different file encodings, parsing non-ascii strings
+- We could save some space by holding source positions in a separate (somehow
+  compressed table) and only storing pointers to it on the AST.
 
 Parser:
 - the expect macros abort functions directly. This leads to some functions
   not resetting the current context properly (parse_for)
-- proper handling of function pointer types
-- outermost typequalifiers can differ between function declarations and
-  implementations...
+- label: declaration; is no valid C99 but we parse it anyway
+- designator support for initializers
+- add constant folding code
+- Refactor code, so code to handle number values and strings is
+  an own module and replacable
+- Support some attributes. noreturn, unused, printf, scanf, packed would be
+  interesting candidates
+- SourcePositions could be stored selectively on expressions that really need
+  them.
+- check semantic for functions declared/defined in global scope and declared
+  again in a local scope
 
 ast2firm:
 - output source file positions for panics...
+- output variable names for uninitialized variable warnings
+- handle bitfield members with 0 correctly (standard says this finished the
+  current unit)
+
+Missing Warnings:
+* dead assignments (int x = 5; x = bla(); -> dead assignment at x = 5;)
+* unused label
+*