* config/arm/vxworks.h (STACK_CHECK_STATIC_BUILTIN): Define.

	(STACK_CHECK_PROTECT): Likewise.
	* config/i386/vxworks.h (STACK_CHECK_STATIC_BUILTIN): Likewise
	(STACK_CHECK_PROTECT): Likewise.
	* config/rs6000/vxworks.h (STACK_CHECK_STATIC_BUILTIN): Likewise
	(STACK_CHECK_PROTECT): Likewise.
	* config/rs6000/vxworksae.h (STACK_CHECK_PROTECT): Likewise.
	* config/sparc/vxworks.h (STACK_CHECK_STATIC_BUILTIN): Likewise.
	(STACK_CHECK_PROTECT): Likewise.
ada/
	* system-vxworks-m68k.ads (Stack_Check_Probes): Set to True.
	(Stack_Check_Limits): Set to False.
	* system-vxworks-mips.ads (Stack_Check_Probes): Set to True.
	(Stack_Check_Limits): Set to False.
	* system-vxworks-ppc.ads (Stack_Check_Probes): Set to True.
	(Stack_Check_Limits): Set to False.
	* system-vxworks-sparcv9.ads (Stack_Check_Probes): Set to True.
	(Stack_Check_Limits): Set to False.
	* system-vxworks-x86.ads (Stack_Check_Probes): Set to True.
	(Stack_Check_Limits): Set to False.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@234171 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 6c41cf02c61500e33b05814ba9ecdab91da456a3..70acdc495352b873bdfbfc815769f75286abea27 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,15 @@
+2016-03-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * config/arm/vxworks.h (STACK_CHECK_STATIC_BUILTIN): Define.
+       (STACK_CHECK_PROTECT): Likewise.
+       * config/i386/vxworks.h (STACK_CHECK_STATIC_BUILTIN): Likewise
+       (STACK_CHECK_PROTECT): Likewise.
+       * config/rs6000/vxworks.h (STACK_CHECK_STATIC_BUILTIN): Likewise
+       (STACK_CHECK_PROTECT): Likewise.
+       * config/rs6000/vxworksae.h (STACK_CHECK_PROTECT): Likewise.
+       * config/sparc/vxworks.h (STACK_CHECK_STATIC_BUILTIN): Likewise.
+       (STACK_CHECK_PROTECT): Likewise.
+
 2016-03-12  Andrey Belevantsev  <abel@ispras.ru>
 
        PR rtl-optimization/69307

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 8e0637666c22ccbe4c84a17601c6a9202220bc48..9fa560dffa2e4a92278f878bc2a52f278aee9032 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,16 @@
+2016-03-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * system-vxworks-m68k.ads (Stack_Check_Probes): Set to True.
+       (Stack_Check_Limits): Set to False.
+       * system-vxworks-mips.ads (Stack_Check_Probes): Set to True.
+       (Stack_Check_Limits): Set to False.
+       * system-vxworks-ppc.ads (Stack_Check_Probes): Set to True.
+       (Stack_Check_Limits): Set to False.
+       * system-vxworks-sparcv9.ads (Stack_Check_Probes): Set to True.
+       (Stack_Check_Limits): Set to False.
+       * system-vxworks-x86.ads (Stack_Check_Probes): Set to True.
+       (Stack_Check_Limits): Set to False.
+
 2016-03-07  Eric Botcazou  <ebotcazou@adacore.com>
 
        * gcc-interface/trans.c (statement_node_p): New predicate.
@@ -12,7 +25,7 @@
 
 2016-03-02  Dominik Vogt  <vogt@linux.vnet.ibm.com>
 
-       * system-linux-s390.adsx: Enable Stack_Check_Probes.
+       * system-linux-s390.ads: Enable Stack_Check_Probes.
        * system-linux-s390.ads: Likewise.
 
 2016-02-29  Martin Liska  <mliska@suse.cz>

diff --git a/gcc/ada/system-vxworks-m68k.ads b/gcc/ada/system-vxworks-m68k.ads
index d8fa9ba94f408facfdcdaf30e8328b2a0ab4071a..ca59e7a9d9ba3693e89458ae4f97b23118cf8db7 100644 (file)
--- a/gcc/ada/system-vxworks-m68k.ads
+++ b/gcc/ada/system-vxworks-m68k.ads
@@ -7,7 +7,7 @@
 --                                 S p e c                                  --
 --                          (VxWorks version M68K)                          --
 --                                                                          --
---          Copyright (C) 1992-2015, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2016, Free Software Foundation, Inc.         --
 --                                                                          --
 -- This specification is derived from the Ada Reference Manual for use with --
 -- GNAT. The copyright notice above, and the license provisions that follow --
@@ -145,8 +145,8 @@ private
    Preallocated_Stacks       : constant Boolean := False;
    Signed_Zeros              : constant Boolean := False;
    Stack_Check_Default       : constant Boolean := False;
-   Stack_Check_Probes        : constant Boolean := False;
-   Stack_Check_Limits        : constant Boolean := True;
+   Stack_Check_Probes        : constant Boolean := True;
+   Stack_Check_Limits        : constant Boolean := False;
    Support_Aggregates        : constant Boolean := True;
    Support_Composite_Assign  : constant Boolean := True;
    Support_Composite_Compare : constant Boolean := True;

diff --git a/gcc/ada/system-vxworks-mips.ads b/gcc/ada/system-vxworks-mips.ads
index 2284ebbd9042ec06043cb0ba595c604a56ddbac4..d4860f42daf4efcc7ecd6feaa3310a2b866ef6ce 100644 (file)
--- a/gcc/ada/system-vxworks-mips.ads
+++ b/gcc/ada/system-vxworks-mips.ads
@@ -7,7 +7,7 @@
 --                                 S p e c                                  --
 --                         (VxWorks Version Mips)                           --
 --                                                                          --
---          Copyright (C) 1992-2015, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2016, Free Software Foundation, Inc.         --
 --                                                                          --
 -- This specification is derived from the Ada Reference Manual for use with --
 -- GNAT. The copyright notice above, and the license provisions that follow --
@@ -145,8 +145,8 @@ private
    Preallocated_Stacks       : constant Boolean := False;
    Signed_Zeros              : constant Boolean := True;
    Stack_Check_Default       : constant Boolean := False;
-   Stack_Check_Probes        : constant Boolean := False;
-   Stack_Check_Limits        : constant Boolean := True;
+   Stack_Check_Probes        : constant Boolean := True;
+   Stack_Check_Limits        : constant Boolean := False;
    Support_Aggregates        : constant Boolean := True;
    Support_Composite_Assign  : constant Boolean := True;
    Support_Composite_Compare : constant Boolean := True;

diff --git a/gcc/ada/system-vxworks-ppc.ads b/gcc/ada/system-vxworks-ppc.ads
index f942470f152d628b24e1531c63ece51998c1ae96..bb27ee4b99330781cb5fcb895d6072ee4c96b471 100644 (file)
--- a/gcc/ada/system-vxworks-ppc.ads
+++ b/gcc/ada/system-vxworks-ppc.ads
@@ -7,7 +7,7 @@
 --                                 S p e c                                  --
 --                         (VxWorks 5 Version PPC)                          --
 --                                                                          --
---          Copyright (C) 1992-2015, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2016, Free Software Foundation, Inc.         --
 --                                                                          --
 -- This specification is derived from the Ada Reference Manual for use with --
 -- GNAT. The copyright notice above, and the license provisions that follow --
@@ -152,8 +152,8 @@ private
    Preallocated_Stacks       : constant Boolean := False;
    Signed_Zeros              : constant Boolean := True;
    Stack_Check_Default       : constant Boolean := False;
-   Stack_Check_Probes        : constant Boolean := False;
-   Stack_Check_Limits        : constant Boolean := True;
+   Stack_Check_Probes        : constant Boolean := True;
+   Stack_Check_Limits        : constant Boolean := False;
    Support_Aggregates        : constant Boolean := True;
    Support_Composite_Assign  : constant Boolean := True;
    Support_Composite_Compare : constant Boolean := True;

diff --git a/gcc/ada/system-vxworks-sparcv9.ads b/gcc/ada/system-vxworks-sparcv9.ads
index 5c07b05c085a78cb6479172661ccf3457b001248..f3caca4fea93a2ecb281e7ad471d8345aceef760 100644 (file)
--- a/gcc/ada/system-vxworks-sparcv9.ads
+++ b/gcc/ada/system-vxworks-sparcv9.ads
@@ -7,7 +7,7 @@
 --                                 S p e c                                  --
 --                       (VxWorks Version Sparc/64)                         --
 --                                                                          --
---          Copyright (C) 1992-2015, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2016, Free Software Foundation, Inc.         --
 --                                                                          --
 -- This specification is derived from the Ada Reference Manual for use with --
 -- GNAT. The copyright notice above, and the license provisions that follow --
@@ -147,8 +147,8 @@ private
    Preallocated_Stacks       : constant Boolean := False;
    Signed_Zeros              : constant Boolean := True;
    Stack_Check_Default       : constant Boolean := False;
-   Stack_Check_Probes        : constant Boolean := False;
-   Stack_Check_Limits        : constant Boolean := True;
+   Stack_Check_Probes        : constant Boolean := True;
+   Stack_Check_Limits        : constant Boolean := False;
    Support_Aggregates        : constant Boolean := True;
    Support_Composite_Assign  : constant Boolean := True;
    Support_Composite_Compare : constant Boolean := True;

diff --git a/gcc/ada/system-vxworks-x86.ads b/gcc/ada/system-vxworks-x86.ads
index adc73a690701de26ab2b715d17978f9b066d7aa3..a7508aadfa36bab6ada2c48d526e748832bbac27 100644 (file)
--- a/gcc/ada/system-vxworks-x86.ads
+++ b/gcc/ada/system-vxworks-x86.ads
@@ -7,7 +7,7 @@
 --                                 S p e c                                  --
 --                         (VxWorks 5 Version x86)                          --
 --                                                                          --
---          Copyright (C) 1992-2015, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2016, Free Software Foundation, Inc.         --
 --                                                                          --
 -- This specification is derived from the Ada Reference Manual for use with --
 -- GNAT. The copyright notice above, and the license provisions that follow --
@@ -148,8 +148,8 @@ private
    Preallocated_Stacks       : constant Boolean := False;
    Signed_Zeros              : constant Boolean := True;
    Stack_Check_Default       : constant Boolean := False;
-   Stack_Check_Probes        : constant Boolean := False;
-   Stack_Check_Limits        : constant Boolean := True;
+   Stack_Check_Probes        : constant Boolean := True;
+   Stack_Check_Limits        : constant Boolean := False;
    Support_Aggregates        : constant Boolean := True;
    Support_Atomic_Primitives : constant Boolean := True;
    Support_Composite_Assign  : constant Boolean := True;

diff --git a/gcc/config/arm/vxworks.h b/gcc/config/arm/vxworks.h
index 4d846333601949e44efaf2cba8e5f7d779ae82bb..5b97fe819b1865d688339f101c3c342f8caafa6b 100644 (file)
--- a/gcc/config/arm/vxworks.h
+++ b/gcc/config/arm/vxworks.h
@@ -112,3 +112,10 @@ see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
 
 #undef TARGET_DEFAULT_WORD_RELOCATIONS
 #define TARGET_DEFAULT_WORD_RELOCATIONS 1
+
+/* Define this to be nonzero if static stack checking is supported.  */
+#define STACK_CHECK_STATIC_BUILTIN 1
+
+/* This platform supports the probing method of stack checking (RTP mode).
+   8K is reserved in the stack to propagate exceptions in case of overflow.  */
+#define STACK_CHECK_PROTECT 8192

diff --git a/gcc/config/i386/vxworks.h b/gcc/config/i386/vxworks.h
index b5960b1c65864851387f421d283da7169f84e358..d92510e19b58ce5df8956bd98dd4e0f97c690337 100644 (file)
--- a/gcc/config/i386/vxworks.h
+++ b/gcc/config/i386/vxworks.h
@@ -88,3 +88,10 @@ along with GCC; see the file COPYING3.  If not see
 #undef ASM_PREFERRED_EH_DATA_FORMAT
 
 #define IX86_MAYBE_NO_LIBGCC_TFMODE
+
+/* Define this to be nonzero if static stack checking is supported.  */
+#define STACK_CHECK_STATIC_BUILTIN 1
+
+/* This platform supports the probing method of stack checking (RTP mode).
+   8K is reserved in the stack to propagate exceptions in case of overflow.  */
+#define STACK_CHECK_PROTECT 8192

diff --git a/gcc/config/rs6000/vxworks.h b/gcc/config/rs6000/vxworks.h
index 901a81c78d9272f7ecb9f090ac12733c2e7e1b2f..7b90fda3f8fa1e1738eb6567040b3b6827806e60 100644 (file)
--- a/gcc/config/rs6000/vxworks.h
+++ b/gcc/config/rs6000/vxworks.h
@@ -138,3 +138,10 @@ VXWORKS_ADDITIONAL_CPP_SPEC
 /* No _mcount profiling on VxWorks.  */
 #undef FUNCTION_PROFILER
 #define FUNCTION_PROFILER(FILE,LABELNO) VXWORKS_FUNCTION_PROFILER(FILE,LABELNO)
+
+/* Define this to be nonzero if static stack checking is supported.  */
+#define STACK_CHECK_STATIC_BUILTIN 1
+
+/* This platform supports the probing method of stack checking (RTP mode).
+   8K is reserved in the stack to propagate exceptions in case of overflow.  */
+#define STACK_CHECK_PROTECT 8192

diff --git a/gcc/config/rs6000/vxworksae.h b/gcc/config/rs6000/vxworksae.h
index e607973252a9f49b9ff8c3fa8d0551e4ba0dd9fb..97e1c70495ff97d1daf8625322b245a466dcad59 100644 (file)
--- a/gcc/config/rs6000/vxworksae.h
+++ b/gcc/config/rs6000/vxworksae.h
@@ -21,3 +21,8 @@ along with GCC; see the file COPYING3.  If not see
 /* VxWorksAE for E500V2 expects a specific CPU value to designate 8548.  */
 #undef VXCPU_FOR_8548
 #define VXCPU_FOR_8548 "PPCE500V2"
+
+/* This platform supports the probing method of stack checking and
+   requires 4K of space for executing a possible last chance handler.  */
+#undef STACK_CHECK_PROTECT
+#define STACK_CHECK_PROTECT 4096

diff --git a/gcc/config/sparc/vxworks.h b/gcc/config/sparc/vxworks.h
index 1bcbace2886eb8ae64ee0baaef1c264c95cb5746..81e0ffb2c760843af0e48632298c61ad1e71ff51 100644 (file)
--- a/gcc/config/sparc/vxworks.h
+++ b/gcc/config/sparc/vxworks.h
@@ -55,3 +55,10 @@ along with GCC; see the file COPYING3.  If not see
 /* We cannot use PC-relative accesses for VxWorks PIC because there is no
    fixed gap between segments.  */
 #undef ASM_PREFERRED_EH_DATA_FORMAT
+
+/* Define this to be nonzero if static stack checking is supported.  */
+#define STACK_CHECK_STATIC_BUILTIN 1
+
+/* This platform supports the probing method of stack checking (RTP mode).
+   8K is reserved in the stack to propagate exceptions in case of overflow.  */
+#define STACK_CHECK_PROTECT 8192