On Mon, Nov 24, 2008 at 12:23, Mark Mitchell <mark@codesourcery.com> wrote: > David Edelsohn wrote: >> >> It currently is broken on many platforms. Why not remove it now? What is >> the purpose of keeping a pass that does not work correctly and developers >> cannot use? > > I agree with David. Works for me too. Diego.