Eric Botcazou says: "-fstack-check is broken with GCC 4.4 on x86/x86-64
Linux, it generates code that will easily segfault"
(http://gcc.gnu.org/PR20548).
Index: b/build.gpr
===================================================================
--- a/build.gpr	2009-12-31 16:47:56.000000000 +0100
+++ b/build.gpr	2009-12-31 16:48:03.000000000 +0100
@@ -16,7 +16,7 @@
   for Source_Dirs use ("gmp");
   package Compiler is
      for Default_Switches ("Ada") use
-       ("-g", "-O2", "-gnatafno", "-gnatVa", "-gnatwa", "-fstack-check");
+       ("-g", "-O2", "-gnatafno", "-gnatVa", "-gnatwa");
      for Default_Switches ("C") use
        ("-g", "-O2");
   end Compiler;
Index: b/demo/Makefile
===================================================================
--- a/demo/Makefile	2009-12-31 16:48:24.000000000 +0100
+++ b/demo/Makefile	2009-12-31 16:48:33.000000000 +0100
@@ -39,7 +39,7 @@
 
 test: gmp_macros.o
 gmp_macros.o: $(GMP_SRC_DIR)/gmp_macros.c
-	cc -c -fstack-check -g -Wall $< -o $@
+	cc -c -g -Wall $< -o $@
 clean: c_clean
 c_clean:
 	rm -f gmp_macros.o
Index: b/demo/devel.gpr
===================================================================
--- a/demo/devel.gpr	2009-12-31 16:48:11.000000000 +0100
+++ b/demo/devel.gpr	2009-12-31 16:48:18.000000000 +0100
@@ -22,7 +22,7 @@
 
   package Compiler is
      for Default_Switches ("Ada")
-       use ("-fstack-check", "-g",
+       use ("-g",
             "-gnata", "-gnatE",
             "-gnatf", "-gnato",
             "-gnatq", "-gnatQ",
