summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--util/crossgcc/patches/gcc-6.3.0_ada-raise.patch11
1 files changed, 11 insertions, 0 deletions
diff --git a/util/crossgcc/patches/gcc-6.3.0_ada-raise.patch b/util/crossgcc/patches/gcc-6.3.0_ada-raise.patch
new file mode 100644
index 0000000000..a081957615
--- /dev/null
+++ b/util/crossgcc/patches/gcc-6.3.0_ada-raise.patch
@@ -0,0 +1,11 @@
+--- gcc-6.3.0/gcc/ada/raise.c.orig 2017-06-24 07:06:41.524685169 +0200
++++ gcc-6.3.0/gcc/ada/raise.c 2017-06-24 07:07:12.945162120 +0200
+@@ -55,7 +55,7 @@
+ void
+ _gnat_builtin_longjmp (void *ptr, int flag ATTRIBUTE_UNUSED)
+ {
+- __builtin_longjmp (ptr, 1);
++ __builtin_longjmp ((void **)ptr, 1);
+ }
+ #endif
+