* gcc-interface/decl.c (SS_MARK_NAME): New define.

	(gnat_to_gnu_entity) <E_Function>: Prepend leaf attribute on entities
	whose name is SS_MARK_NAME.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-4_7-branch@185781 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index e6adda6..52f9ad9 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,9 @@
+2012-03-25  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * gcc-interface/decl.c (SS_MARK_NAME): New define.
+       (gnat_to_gnu_entity) <E_Function>: Prepend leaf attribute on entities
+       whose name is SS_MARK_NAME.
+
 2012-03-22  Release Manager
 
        * GCC 4.7.0 released.

diff --git a/gcc/ada/gcc-interface/decl.c b/gcc/ada/gcc-interface/decl.c
index 5b6d2f7..94d9e39 100644 (file)
--- a/gcc/ada/gcc-interface/decl.c
+++ b/gcc/ada/gcc-interface/decl.c
@@ -81,6 +81,9 @@
 #define FOREIGN_FORCE_REALIGN_STACK 0
 #endif
 
+/* The (internal) name of the System.Secondary_Stack.SS_Mark function.  */
+#define SS_MARK_NAME "system__secondary_stack__ss_mark"
+
 struct incomplete
 {
   struct incomplete *next;
@@ -4413,6 +4416,21 @@ gnat_to_gnu_entity (Entity_Id gnat_entity, tree gnu_expr, int definition)
             get_identifier ("force_align_arg_pointer"), NULL_TREE,
             gnat_entity);
 
+       /* ??? Declare System.Secondary_Stack.SS_Mark as leaf, in order to
+          avoid creating abnormal edges in SJLJ mode, which can break the
+          dominance relationship if there is a dynamic stack allocation.
+          We cannot do this in System.Secondary_Stack directly since it's
+          a compiler unit and this would introduce bootstrap path issues.  */
+       if (IDENTIFIER_LENGTH (gnu_entity_name) == strlen (SS_MARK_NAME)
+           && IDENTIFIER_POINTER (gnu_entity_name)[0] == SS_MARK_NAME[0]
+           && IDENTIFIER_POINTER (gnu_entity_name)[1] == SS_MARK_NAME[1]
+           && IDENTIFIER_POINTER (gnu_entity_name)[2] == SS_MARK_NAME[2]
+           && gnu_entity_name == get_identifier (SS_MARK_NAME))
+         prepend_one_attribute_to
+           (&attr_list, ATTR_MACHINE_ATTRIBUTE,
+            get_identifier ("leaf"), NULL_TREE,
+            gnat_entity);
+
        /* The lists have been built in reverse.  */
        gnu_param_list = nreverse (gnu_param_list);
        if (has_stub)

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 7b9968a..2980c5c 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2012-03-25  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * gnat.dg/concat2.ad[sb]: New test.
+
 2012-03-24  Steven Bosscher  <steven@gcc.gnu.org>
 
        PR middle-end/52640

diff --git a/gcc/testsuite/gnat.dg/concat2.adb b/gcc/testsuite/gnat.dg/concat2.adb
new file mode 100644 (file)
index 0000000..221c4a3
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/concat2.adb
@@ -0,0 +1,18 @@
+with Text_IO; use Text_IO;
+
+package body Concat2 is
+
+   function Get_Param return String is
+   begin
+      return "";
+   end;
+
+   procedure Browse is
+      Mode         : constant String := Get_Param;
+      Mode_Param   : constant String := "MODE=" & Mode;
+   begin
+      Put_Line (Mode_Param);
+   end;
+
+end Concat2;
+

diff --git a/gcc/testsuite/gnat.dg/concat2.ads b/gcc/testsuite/gnat.dg/concat2.ads
new file mode 100644 (file)
index 0000000..01e620b
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/concat2.ads
@@ -0,0 +1,8 @@
+-- { dg-do compile }
+-- { dg-options "-O" }
+
+package Concat2 is
+
+   procedure Browse;
+
+end Concat2;