[lukan]

Yes, but before checking the tools and compilers for bugs, it usually makes sense checking and verifying the own code first in a controlled setting.