http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50678
--- Comment #81 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2013-02-07 18:09:02 UTC --- Author: ebotcazou Date: Thu Feb 7 18:08:41 2013 New Revision: 195864 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=195864 Log: PR target/50678 * init.c (__darwin_major_version): New function for x86-64/Darwin. (__gnat_adjust_context_for_raise) [Darwin]: Disable the workaround on Darwin 12 and above. Modified: branches/gcc-4_6-branch/gcc/ada/ChangeLog branches/gcc-4_6-branch/gcc/ada/init.c