+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
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
-- 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
- 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
- handle bitfield members with 0 correctly (standard says they finish the
current unit)
+Missing Errors:
+* label: declaration; is no valid C99 but we parse it anyway
+* 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
+* catch the if(k = b) cases, maybe require all assignments to be in parentheses
+ (but some few exceptions like toplevel, nested assignments)
+
+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