coreboot-kgpe-d16/util/crossgcc/patches/gcc-6.3.0_ada-raise.patch

12 lines
312 B
Diff

--- 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