tcc is seriously awesome. Read the source - this is how C compilers should be written. It can add bounds checking to your programs. It's small enough to fit int

tcc is seriously awesome. Read the source - this is how C compilers should be written. It can add bounds checking to your programs. It's small enough to fit into a library you can use for dynamic code generation. IMO tcc with support for more architectures is just as viable an alternative to gcc as clang is.