X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;ds=sidebyside;f=TODO;h=3fc264b1e144bc0808b937fe4d53bfb016fdcee4;hb=0398c22778ba28be93a68f69a54124fd95826403;hp=7bcd77b72fd40c3053bd18676d42329860083446;hpb=09527515b3f2d630abff8304689f98dc82d128f5;p=cparser diff --git a/TODO b/TODO index 7bcd77b..3fc264b 100644 --- a/TODO +++ b/TODO @@ -1,11 +1,8 @@ -Initializer rewrite: -- determining of array size for array types of unspecified length is wrong in - presence of designators and unions +Driver: 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 @@ -14,12 +11,9 @@ 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 +- disallow storage class specifiers in struct/union members - label: declaration; is no valid C99 but we parse it anyway -- designator support for initializers -- add constant folding code +- 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 @@ -29,6 +23,8 @@ Parser: them. - 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 @@ -36,7 +32,24 @@ ast2firm: - handle bitfield members with 0 correctly (standard says they finish the current unit) +Missing Errors: +* 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 + + +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