Accuracy of profile maintenance in optimizing compilers