Can you point to a compiler without correctness flaws[1]? If you use Fortran, or C++ your compiler will also have correctness flaws. Is the claim that bugs are more prevalent or fixed more slowly than with other compilers? Yuri kind of implied that in the article you link, but we would have to take his word for it.
The claim, as I understood it, is not that other compilers provably have no bugs, but that maintainers (and the whole community) react differently when one is found.
If you demonstrate a bug in gcc or rustc (or one of their base libraries), it is a major issue that will at least get documentation and a warning (and likely a quick fix). In Julia, even documenting it may be relegated to the middle of the todo list.
1: http://compcert.inria.fr/ is the only non-toy one I'm aware of to be formally proven.