Yes, compilers are a good candidate for verification through thorough testing. If a comprehensive test suite passes, reviewing every line of code isn’t so important.
That's why Anthropics C compiler worked so well; because they had gcc's huge repository of tests to lean on. Oh wait...
Yeah, their ccc had no testsuite at all. I ran it through my testsuites and it failed miserably.
plus they failed to look at any PR. At least their agent could look at the PR's.