I think the problem is that when the program does the optimization for you, you don't have control over compiled output, then it is very difficult to sort out this issue.
However extensive hardware checks should be carried out before the product is released.

mahmood