If that were true, then Linux distros wouldn't still be using GCC. Switching to a new compiler (like clang) is a huge burden. FreeBSD switched to clang, and co

If that were true, then Linux distros wouldn't still be using GCC. Switching to a new compiler (like clang) is a huge burden. FreeBSD switched to clang, and could (with some work) be made to use whatever safe C compiler people come up with. That's much easier than rewriting the entire FreeBSD system in a new language.