What happened to -frename-registers?

[Ulrich Weigand]

David Edelsohn wrote:

> 	The -frename-registers option was disabled because it exposed
> bugs.  You can look at the original discussion to find more details.

>From what I see in the mailing list and bug #15023, the problem 
appears to be that it exposes target bugs on some platforms.

Couldn't we just switch the optimization off on those platforms
(in their override_options, say) instead of penalizing everybody?

Bye,
Ulrich

-- 
  Dr. Ulrich Weigand
  weigand@informatik.uni-erlangen.de