[emsy]

The main problem being undefined behaviour that is actually undefined and varies from compiler to compiler!

[raverbashing]

Yeah, you might need a config switch to configure what would you want to do with the most common undefined behaviours (or "just change" your C code)

(Because "just change" usually ends up creating other problems. Been there, done that, "code is wrong but works" and when you try to fix stuff breaks)

[TorKlingberg]

You are free to assume that undefined behavior never happens. Unless you want to support invalid c programs.