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/Makefile_test.gpr
===================================================================
--- a/Makefile_test.gpr	2010-08-05 14:58:55.000000000 +0200
+++ b/Makefile_test.gpr	2010-08-05 15:07:46.000000000 +0200
@@ -32,12 +32,10 @@
         "-gnaty",         --  all style checks
         "-gnatyM159",     --  max line length
         "-gnato",         --  runtime overflow checking
-        "-gnatE",         --  checks for access-before-elaboration
-        "-fstack-check"); --  stack overflow checking
+        "-gnatE");        --  checks for access-before-elaboration
      for Default_Switches ("C") use
        ("-g",                       --  debugging information
-        "-Wall", "-Wextra",         --  activate all optional warnings
-        "-fstack-check");           --  stack overflow checking
+        "-Wall", "-Wextra");        --  activate all optional warnings
   end Compiler;
   package Linker is
      for Default_Switches ("Ada") use ("-lgmp", "-lmpfr");
