Refactoring:
- 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.
- 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
+- for errors relating to function argument, print number of argument
- print initialisation type_path for initializer errors
ast2firm:
-- handle non-constant initializers
- output source file positions for panics.
- handle bitfield members with 0 correctly (standard says they finish the
current unit)
-- create asm nodes.
-- merge functions entities declared in lokal scope
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
+- dead assignments (int x = 5; x = bla(); -> dead assignment at x = 5;)
+- catch the if(k = b) cases, maybe require all assignments to be in parentheses
(but some few exceptions like toplevel, nested assignments)
main/driver:
-* delete output file if we had an error
-
-Spec-Status:
-164.gzip: works
-175.vpr: works
-176.gcc: sometimes works...
-181.mcf: works
-186.crafty: works (~though an asm is replaced with a stub)
-253.perlbmk: works
-254.gap: works
-255.vortex: works
-256.bzip2: works
-300.twolf: works
+- delete output file if we had an error
projects / cparser / blobdiff