2e086bbe442cee26bd0024e5dbf3640954eae45b
[cparser] / TODO
1 Refactoring:
2 - eliminate target_architecture.h and replace with stuff in lang_features.h
3 - redo storage classes: so we can separate real from declared storage class
4
5 Lexer:
6 - Add preprocessor code
7 - proper handling of different file encodings, parsing non-ascii strings
8 - We could save some space by holding source positions in a separate (somehow
9   compressed table) and only storing pointers to it on the AST.
10
11 Parser:
12 - disallow storage class specifiers in sturct/union members
13 - the expect macros abort functions directly. This leads to some functions
14   not resetting the current context properly (parse_for); expect in expressions
15   suddenly return NULL which triggers asserts
16 - label: declaration; is no valid C99 but we parse it anyway
17 - add constant folding code (optional, ast2firm already does it)
18 - Refactor code, so code to handle number values (and strings?) is an own
19   module and replacable
20 - Support some attributes. noreturn, unused, printf, scanf, packed would be
21   interesting candidates
22 - Add columns to source positions
23 - SourcePositions could be stored selectively on expressions that really need
24   them.
25 - check semantic for functions declared/defined in global scope and declared
26   again in a local scope
27 - print initialisation type_path for initializer errors
28
29 ast2firm:
30 - handle non-constant initializers
31 - output source file positions for panics...
32 - handle bitfield members with 0 correctly (standard says they finish the
33   current unit)
34
35 Missing Warnings:
36 * dead assignments (int x = 5; x = bla(); -> dead assignment at x = 5;)
37 * unused label
38
39
40 Spec-Status:
41 (only test datasets tried yet)
42 164.gzip:    works
43 175.vpr:     works
44 181.mcf:     works
45 186.crafty:  works (~though an asm is replaced with a stub)
46 253.perlbmk: not ok
47 254.gap:     not ok
48 255.vortex:  works
49 256.bzip2:   works
50 300.twolf:   works