You can certainly verify the soundness of what is within your control, the compiler code, which is what is being suggested above.