http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55289
--- Comment #32 from Konstantin Serebryany <konstantin.s.serebryany at gmail dot com> 2012-11-14 20:21:19 UTC --- Just want to repeat, that any work on mach_override may end up being wasted time because we plan to get rid of mach_override *really* soon.
