X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=TODO;h=7b8a734daf184d84e45edde799ecd617a2a7605a;hb=9f6f0f7cf63b5f2f4b53d99f85577abd7980cbc0;hp=6aca31e5e62e7906fe5770a0378918a5594b3b35;hpb=877060fa4a4bb34e2b21c184bf5a7aca28f8abae;p=cparser

diff --git a/TODO b/TODO
index 6aca31e..7b8a734 100644
--- a/TODO
+++ b/TODO
@@ -1,27 +1,57 @@
 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
+- create structures for variables and functions, removing the omnipotent
+  declaration
 
 Lexer:
-- Add preprocessor code
+- 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)
-- 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
+- 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
+- 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
+- for errors relating to function argument, print number of argument
+- print initialisation type_path for initializer errors
 
 ast2firm:
-- output source file positions for panics...
-- output variable names for uninitialized variable warnings
+- 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.
+- merge functions entities declared in lokal scope
+
+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
-*
+- 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)
+
+main/driver:
+- delete output file if we had an error
+
+Spec-Status:
+164.gzip:    works
+175.vpr:     works
+176.gcc:     sometimes works...
+181.mcf:     works
+186.crafty:  works
+253.perlbmk: works
+254.gap:     works
+255.vortex:  works
+256.bzip2:   works
+300.twolf:   works