X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=TODO;h=e375fd2fc3c8026fe38af6dad764c367495e0ecb;hb=df568dc033e2cbd94e0c3bbd632f56e8b989b75e;hp=3fc264b1e144bc0808b937fe4d53bfb016fdcee4;hpb=5c1f4f4c1fb16d5c4d6de6f8e12b520e2a7f265e;p=cparser diff --git a/TODO b/TODO index 3fc264b..e375fd2 100644 --- a/TODO +++ b/TODO @@ -1,18 +1,16 @@ -Driver: - Refactoring: - eliminate target_architecture.h and replace with stuff in lang_features.h -- create structures for variables and functions, removing the omnipotent declaration +- 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 @@ -24,22 +22,24 @@ 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 -- 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)