avoid jumping into statement expression
[tinycc/daniel.git] / TODO
blobcf22bc7d41de1590cf0d51a3d8a6ec6e85364cb9
1 TODO list:
3 - bug with defines:
4     #define spin_lock(lock) do { } while (0)
5     #define wq_spin_lock spin_lock
6     #define TEST() wq_spin_lock(a)
7 - typedefs can be structure fields
8 - see bugfixes.diff + improvement.diff from Daniel Glockner
9 - constructors
10 - cast bug (Peter Wang)
11 - define incomplete type if defined several times (Peter Wang).
12 - long long constant evaluation
13 - configure --cc=tcc (still one bug in libtcc1.c)
14 - disable-asm and disable-bcheck options
15 - test binutils/gcc compile
16 - add alloca(), __builtin_expect()
17 - gcc '-E' option.
18 - optimize VT_LOCAL + const
19 - tci patch + argument.
20 - '-b' bug.
21 - atexit (Nigel Horne)
22 - see -lxxx bug (Michael Charity).
23 - see transparent union pb in /urs/include/sys/socket.h
24 - precise behaviour of typeof with arrays ? (__put_user macro)
25 - #include_next support for /usr/include/limits ?
26   but should suffice for most cases)
27 - handle '? x, y : z' in unsized variable initialization (',' is
28   considered incorrectly as separator in preparser)
29 - function pointers/lvalues in ? : (linux kernel net/core/dev.c)
30 - transform functions to function pointers in function parameters (net/ipv4/ip_output.c)
31 - fix function pointer type display
32 - fix bound exit on RedHat 7.3
33 - check lcc test suite -> fix bitfield binary operations
34 - check section alignment in C
35 - fix invalid cast in comparison 'if (v == (int8_t)v)'
36 - packed attribute
37 - finish varargs.h support (gcc 3.2 testsuite issue)
38 - fix static functions declared inside block
39 - C99: add variable size arrays (gcc 3.2 testsuite issue)
40 - C99: add complex types (gcc 3.2 testsuite issue)
41 - postfix compound literals (see 20010124-1.c)
42 - fix multiple unions init
43 - setjmp is not supported properly in bound checking.
44 - better local variables handling (needed for other targets)
45 - fix bound check code with '&' on local variables (currently done
46   only for local arrays).
47 - sizeof, alignof, typeof can still generate code in some cases.
48 - bound checking and float/long long/struct copy code. bound
49   checking and symbol + offset optimization
50 - Fix the remaining libtcc memory leaks.
51 - make libtcc fully reentrant (except for the compilation stage itself).
52 - '-MD' option
54 Optimizations:
56 - suppress specific anonymous symbol handling
57 - more parse optimizations (=even faster compilation)
58 - memory alloc optimizations (=even faster compilation)
60 Not critical:
62 - C99: fix multiple compound literals inits in blocks (ISOC99
63   normative example - only relevant when using gotos! -> must add
64   boolean variable to tell if compound literal was already
65   initialized).
66 - add PowerPC or ARM code generator and improve codegen for RISC (need
67   to suppress VT_LOCAL and use a base register instead).
68 - interactive mode / integrated debugger
69 - fix preprocessor symbol redefinition
70 - better constant opt (&&, ||, ?:)
71 - add portable byte code generator and interpreter for other
72   unsupported architectures.
73 - C++: variable declaration in for, minimal 'class' support.
74 - win32: add __stdcall, __intxx. use resolve for bchecked malloc et
75   al. check GetModuleHandle for dlls. check exception code (exception
76   filter func).
77 - handle void (__attribute__() *ptr)()