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
+- create structures for variables and functions, removing the omnipotent
+ declaration
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 struct/union members
-- label: declaration; is no valid C99 but we parse it anyway
- 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
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)
+- create asm nodes.
+
+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)