http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50678
--- Comment #80 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2013-02-07 18:08:21 UTC --- Author: ebotcazou Date: Thu Feb 7 18:07:58 2013 New Revision: 195863 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=195863 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_7-branch/gcc/ada/ChangeLog branches/gcc-4_7-branch/gcc/ada/init.c