X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=TODO;h=d5dca905413a25d7dd5c6adeed43d96a4de8b1ed;hb=8841fc7de7f713992ac4516adb376b8e60cd77f6;hp=e59ee9509824cda37a04b89b1d73fb790cf78b0d;hpb=c1f09ffd706bd46c9785ccb187da54536f566e2e;p=cparser diff --git a/TODO b/TODO index e59ee95..d5dca90 100644 --- a/TODO +++ b/TODO @@ -1,28 +1,37 @@ Refactoring: -- Rename type_string to type_char_ptr -- Rename the statement_base_t statement; field in all the statements to - statement_base_t base; +- eliminate target_architecture.h and replace with stuff in lang_features.h 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: -- the expect macros abort functions directly. This leads to some functions - not resetting the current context properly (parse_for) -- label: declaration; is no valid C99 but we parse it anyway -- designator support for initializers -- add constant folding code -- 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 +- 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 +- 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: -- output source file positions for panics... -- output variable names for uninitialized variable warnings +- output source file positions for panics. +- handle bitfield members with 0 correctly (standard says they finish the + current unit) + +Missing Errors: +- goto over VLA declarations 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