There is also the issue of detecting such undefined behaviour in code automatically using static analysis. This is essential when you want to change or upgrade the compiler you are using. If I understand correctly, they are trying to supply such tools for C.