+Refactoring:
+- 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
- 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)
+- 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
-- Refactor code, so code to handle number values and strings is
- an own module and replacable
+- 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
+- print initialisation type_path for initializer errors
ast2firm:
+- handle non-constant initializers
- output source file positions for panics...
-- output variable names for uninitialized variable warnings
+- handle bitfield members with 0 correctly (standard says they finish the
+ current unit)
Missing Warnings:
* dead assignments (int x = 5; x = bla(); -> dead assignment at x = 5;)
* unused label
-*
+
+
+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
projects / cparser / blobdiff