X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=TODO;h=e375fd2fc3c8026fe38af6dad764c367495e0ecb;hb=2db2cbd9ee2f2842526ff09019c1221e34c3ea41;hp=bb15cc290e52a16092715ec2cb1cb028f9a0b613;hpb=0c8e723eb3dbb12c6e72698dc1dcb0fef6f20d54;p=cparser

diff --git a/TODO b/TODO
index bb15cc2..e375fd2 100644
--- a/TODO
+++ b/TODO
@@ -1,14 +1,55 @@
+Refactoring:
+- eliminate target_architecture.h and replace with stuff in lang_features.h
+- create structures for variables and functions, removing the omnipotent
+  declaration
+
 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:
-- proper handling of function pointer types
-- outermost typequalifiers can differ between function declarations and
-  implementations...
+- disallow storage class specifiers in struct/union members
+- 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:
-- output source file positions for panics...
+- handle non-constant initializers
+- output source file positions for panics.
+- handle bitfield members with 0 correctly (standard says they finish the
+  current unit)
+- create asm nodes.
+
+Missing Errors:
+* label: declaration; is no valid C99 but we parse it anyway
+* check switches for double cases
+
+Missing Warnings:
+* dead assignments (int x = 5; x = bla(); -> dead assignment at x = 5;)
+* unused label
+* check switches for all enums values
+* catch the if(k = b) cases, maybe require all assignments to be in parentheses
+  (but some few exceptions like toplevel, nested assignments)
+
+Spec-Status:
+(only test datasets tried yet)
+164.gzip:    works
+175.vpr:     works
+176.gcc:     not ok
+181.mcf:     works
+186.crafty:  works (~though an asm is replaced with a stub)
+253.perlbmk: not ok
+254.gap:     not ok
+255.vortex:  works
+256.bzip2:   works
+300.twolf:   works