Microsoft has a huge market share, and immense testing and QA resources, and it’s reasonable to assume this has driven down the number of unknown issues a lot.

That said, why do we think compilers produce correct code?