I wonder if a probabilistic compiler would be fine for the people arguing this. One that sometimes produces machine code that does something else, and sometimes produces machine code that is just broken and does nothing useful. From the same source code.
What if your compiler could be fooled by some other developers into spending thousands of dollars, and still not produce the desired machine code in the end?
I've run into compiler bugs before.
There are compiler bugs (rarely) which will be fixed. That's different from fundamental flaws in the technology, which cannot be fixed.