It's just turtles all the way down. This is not different than the fact we know as programmers there are bugs in the tools and compilers we use, they get fixed over time but more bugs remain. It is frustrating to realize that we aren't on solid ground like we want to be.
Do you trust the result of your c++ program is correct? Because there are bugs in every compiler, language. You passed that million test correctness checker on the new version of the compiler, but it didn't catch everything.
When a bug is fixed, you don't immediately retry all existing results from your application program. Maybe you would if the bug was in some area you know was important and exercised by your code, say you were adding and multiplying numbers and bugs were found in that area.
The checker has a bug, the compiler the checker was testing had a bug, your own code that was compiled by the compiler had a bug probably. There can be bugs at any layer.
Do you trust the result of your c++ program is correct? Because there are bugs in every compiler, language. You passed that million test correctness checker on the new version of the compiler, but it didn't catch everything.
When a bug is fixed, you don't immediately retry all existing results from your application program. Maybe you would if the bug was in some area you know was important and exercised by your code, say you were adding and multiplying numbers and bugs were found in that area.
The checker has a bug, the compiler the checker was testing had a bug, your own code that was compiled by the compiler had a bug probably. There can be bugs at any layer.