2011/7/14 Richard Guenther <richard.guent...@gmail.com>: > > But then how comes the option to override it is useful? It isn't dependent > on the particular case. At least the option should be a --param. > > Richard. >
Option is still useful if you want to try feature on platform with no hook implemented and for other performance experiments. I agree --param usage should be better here. I'll fix it. Ilya