X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=TODO;h=354fb16e991fb95ea3a25810eb996653ef9a0248;hb=a25daef22bc375bea28f7c8965c69edec5679e84;hp=510490c3a8e7cd62f8f9c494f54bc13d72e3b4f5;hpb=f3efbc82b8253fbe5334f33cb77b63ff59fa47e6;p=cparser diff --git a/TODO b/TODO index 510490c..354fb16 100644 --- a/TODO +++ b/TODO @@ -1,40 +1,36 @@ 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 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 -- 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 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: + Missing Warnings: -* dead assignments (int x = 5; x = bla(); -> dead assignment at x = 5;) -* unused label -* +- 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) + +main/driver: +- delete output file if we had an error