-- proper handling of function pointer types
-- outermost typequalifiers can differ between function declarations and
- implementations...
+- 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
+- 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
+
+ast2firm:
+- output source file positions for panics...
+- output variable names for uninitialized variable warnings
+- handle bitfield members with 0 correctly (standard says this finished the
+ current unit)
+
+Missing Warnings:
+* dead assignments (int x = 5; x = bla(); -> dead assignment at x = 5;)
+* unused label
+*