condeval is called jump threading now

[cparser] / TODO

diff --git a/TODO b/TODO
index 491c6cc..0436f7c 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1,28 +1,31 @@
+Refactoring:
+- eliminate target_architecture.h and replace with stuff in lang_features.h
+
 Lexer:
-- proper support of preprocessor
-- octal&hex escape sequences
-- wide string constants
-- proper handling of different file encodings
+- Add preprocessor code.
+- 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)
-- proper handling of function pointer types
-- outermost typequalifiers can differ between function declarations and
-  implementations...
-- fix semantic to ignore type qualifiers (const double is the same as double)
-- label: declaration; is no valid C99 but we parse it anyway
-- designator support for initializers
-- support string literals in intializers
+- 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
+- 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
+- for errors relating to function argument, print number of argument
+- print initialisation type_path for initializer errors
 
 ast2firm:
-- output source file positions for panics...
-- create strict convs where necessary
-
+- output source file positions for panics.
 
-Coole Warnungen:
+Missing Errors:
+- goto over VLA declarations
 
-       int x = 5;
-       x = bla():
+Missing Warnings:
+- dead assignments (int x = 5; x = bla(); -> dead assignment at x = 5;)
 
-       -> dead assignment
+main/driver:
+- go through gcc manual and emulate all the gcc flags...