Re: 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?