Creator of LLVM, Clang, and Swift Says To Not Write Security Critical Code In C/C++

[Kagamin via Digitalmars-d]

On Tuesday, 14 July 2015 at 09:47:00 UTC, Ola Fosheim Grøstad 
wrote:
> This is 100% wrong. UB only happens in the code gen for 
> programs that are illegal (per definition incorrect source 
> code).
>
> If your program is correct, then the code cannot trigger UB.

How successful compilation of incorrect source code helps with 
writing correct software?