reorganized some test programs

[cparser] / TODO

diff --git a/TODO b/TODO
index dc334d8..e375fd2 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1,21 +1,16 @@
 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
+- 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:
-- 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
+- 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
@@ -30,19 +25,27 @@ Parser:
 
 ast2firm:
 - handle non-constant initializers
-- output source file positions for panics...
+- 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