X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=TODO;h=c6748384f73d1cc5fbec9689a1fccd332853e871;hb=643026ae19cfdb8e3c891407f155668768028325;hp=edbfcd1ca3bb1bb5b948e3e1b46dc0f68a2be05d;hpb=a4114bd80b44eb9eb7d34e38fd4ed8f57063838f;p=cparser

diff --git a/TODO b/TODO
index edbfcd1..c674838 100644
--- a/TODO
+++ b/TODO
@@ -1,56 +1,39 @@
-Driver:
-
 Refactoring:
 - 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 struct/union members
-- 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
+- for errors relating to function argument, print number of argument
 - print initialisation type_path for initializer errors
-- check switches for: double cases, all enums
 
 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)
 
 Missing Errors:
-* check switches for double cases
+- goto over VLA declarations
 
 Missing Warnings:
-* dead assignments (int x = 5; x = bla(); -> dead assignment at x = 5;)
-* unused label
-* check switches for all enums values
-
-
-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
+- dead assignments (int x = 5; x = bla(); -> dead assignment at x = 5;)
+- catch the if(k = b) cases, maybe require all assignments to be in parentheses
+  (but some few exceptions like toplevel, nested assignments)
+ - warn when folding shift constants with too large shift amounts
+
+main/driver:
+- delete output file if we had an error
+- go through gcc manual and emulate all the gcc flags...