OSDN Git Service

PR target/50678
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 7 Feb 2013 18:07:58 +0000 (18:07 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 7 Feb 2013 18:07:58 +0000 (18:07 +0000)
commit588d04d53ae50ce51b24548c5978faca5b21d303
treebc040cc7a0223653c9e8c7663376b55d88c9ebc2
parent8ad5f7783a625369ca9db53b0335022e836a87e2
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-4_7-branch@195863 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/init.c