This option has been problematic and does not seem to be well maintained. In terms of usefulness, it would also be worth implementing as a gimple pass, ideally in IPA mode. I propose that we remove it at the next stage 1, at least it will stop causing problems. Thoughts? Diego.