X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;ds=sidebyside;f=TODO;h=510490c3a8e7cd62f8f9c494f54bc13d72e3b4f5;hb=f017f4f5080052f95185056b3af472ab737bc64a;hp=1dd8883e425ac4efe9b0456d4ebcf3a44737f2a6;hpb=d5e8df5885f97ea65839f8970b8697549c207610;p=cparser

diff --git a/TODO b/TODO
index 1dd8883..510490c 100644
--- a/TODO
+++ b/TODO
@@ -1,5 +1,40 @@
+Refactoring:
+- create an empty_statement_t and use that instead of a NULL pointer in places
+  like if, loop bodys, statements after labels
+- eliminate target_architecture.h and replace with stuff in lang_features.h
+- redo storage classes: so we can separate real from declared storage class
+
 Lexer:
-- proper support of preprocessor
-- parse float numbers
-- octal&hex escape sequences
-- handling of newline is probably not correct for all strange OSes
+- 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:
+- disallow storage class specifiers in sturct/union members
+- the expect macros abort functions directly. This leads to some functions
+  not resetting the current context properly (parse_for); expect in expressions
+  suddenly return NULL which triggers asserts
+- label: declaration; is no valid C99 but we parse it anyway
+- add constant folding code (optional, ast2firm already does it)
+- 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
+- Add columns to source positions
+- 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
+- print initialisation type_path for initializer errors
+
+ast2firm:
+- handle non-constant initializers
+- output source file positions for panics...
+- handle bitfield members with 0 correctly (standard says they finish the
+  current unit)
+
+Missing Warnings:
+* dead assignments (int x = 5; x = bla(); -> dead assignment at x = 5;)
+* unused label
+*