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