X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=TODO;h=450fcbb2154915938c3d0420c7740693e9730623;hb=c807cfdc0f3153516c43dc6fa107799529195f72;hp=51176d469bc2a82501f23c3bbb6a3391e6bf6742;hpb=66f159e98b92550882c0763a26bb13966262389e;p=cparser

diff --git a/TODO b/TODO
index 51176d4..450fcbb 100644
--- a/TODO
+++ b/TODO
@@ -1,7 +1,6 @@
 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
@@ -10,10 +9,7 @@ Lexer:
   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); 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
@@ -25,6 +21,7 @@ Parser:
 - check semantic for functions declared/defined in global scope and declared
   again in a local scope
 - print initialisation type_path for initializer errors
+- check switches for: double cases, all enums
 
 ast2firm:
 - handle non-constant initializers
@@ -32,7 +29,26 @@ ast2firm:
 - handle bitfield members with 0 correctly (standard says they finish the
   current unit)
 
+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