Compiler and runtime(s) also guaranteed defect free?
Or does it just need a senior "engineering" manager to declare them trustworthy, or else?
Viper. gcc code-generation buglist. To name but two.
Still, it may well be a step in the right direction.