OSDN Git Service

* exp_disp.adb (Make_Tags): Mark the imported view of dispatch tables.
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 8 May 2010 11:50:18 +0000 (11:50 +0000)
committerMasaki Muranaka <monaka@monami-software.com>
Sun, 23 May 2010 05:03:34 +0000 (14:03 +0900)
* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Variable>: Make imported
constants really constant.
<E_Record_Subtype>: Strip the suffix for dispatch table entities.

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

gcc/ada/ChangeLog
gcc/ada/exp_disp.adb
gcc/ada/gcc-interface/decl.c
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/lto5.adb

index 3878ccd..68a9266 100644 (file)
@@ -1,5 +1,12 @@
 2010-05-08  Eric Botcazou  <ebotcazou@adacore.com>
 
+       * exp_disp.adb (Make_Tags): Mark the imported view of dispatch tables.
+       * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Variable>: Make imported
+       constants really constant.
+       <E_Record_Subtype>: Strip the suffix for dispatch table entities.
+
+2010-05-08  Eric Botcazou  <ebotcazou@adacore.com>
+
        * gcc-interface/decl.c (make_aligning_type): Declare the type.
 
 2010-05-08  Eric Botcazou  <ebotcazou@adacore.com>
index b7f31c3..f21b8d2 100644 (file)
@@ -6244,7 +6244,7 @@ package body Exp_Disp is
       DT               : Node_Id := Empty;
       DT_Ptr           : Node_Id;
       Predef_Prims_Ptr : Node_Id;
-      Iface_DT         : Node_Id := Empty;
+      Iface_DT         : Node_Id;
       Iface_DT_Ptr     : Node_Id;
       New_Node         : Node_Id;
       Suffix_Index     : Int;
@@ -6570,11 +6570,6 @@ package body Exp_Disp is
          Set_Is_Dispatch_Table_Entity (Etype (DT));
       end if;
 
-      if Present (Iface_DT) then
-         Set_Is_Dispatch_Table_Entity (Iface_DT);
-         Set_Is_Dispatch_Table_Entity (Etype (Iface_DT));
-      end if;
-
       Set_Ekind        (DT_Ptr, E_Constant);
       Set_Is_Tag       (DT_Ptr);
       Set_Related_Type (DT_Ptr, Typ);
index 6df79fb..fba552b 100644 (file)
@@ -560,7 +560,8 @@ gnat_to_gnu_entity (Entity_Id gnat_entity, tree gnu_expr, int definition)
             && (((Nkind (Declaration_Node (gnat_entity))
                   == N_Object_Declaration)
                  && Present (Expression (Declaration_Node (gnat_entity))))
-                || Present (Renamed_Object (gnat_entity))));
+                || Present (Renamed_Object (gnat_entity))
+                || Is_Imported (gnat_entity)));
        bool inner_const_flag = const_flag;
        bool static_p = Is_Statically_Allocated (gnat_entity);
        bool mutable_p = false;
@@ -2975,6 +2976,20 @@ gnat_to_gnu_entity (Entity_Id gnat_entity, tree gnu_expr, int definition)
              break;
            }
 
+         /* If this is a record subtype associated with a dispatch table,
+            strip the suffix.  This is necessary to make sure 2 different
+            subtypes associated with the imported and exported views of a
+            dispatch table are properly merged in LTO mode.  */
+         if (Is_Dispatch_Table_Entity (gnat_entity))
+           {
+             char *p;
+             Get_Encoded_Name (gnat_entity);
+             p = strrchr (Name_Buffer, '_');
+             gcc_assert (p);
+             strcpy (p+1, "dtS");
+             gnu_entity_name = get_identifier (Name_Buffer);
+           }
+
          /* When the subtype has discriminants and these discriminants affect
             the initial shape it has inherited, factor them in.  But for an
             Unchecked_Union (it must be an Itype), just return the type.
index 08266b1..85dd6b9 100644 (file)
@@ -1,5 +1,10 @@
 2010-05-08  Eric Botcazou  <ebotcazou@adacore.com>
 
+       * gnat.dg/lto5.adb: New test.
+       * gnat.dg/lto5_pkg.ad[sb]: New helper.
+
+2010-05-08  Eric Botcazou  <ebotcazou@adacore.com>
+
        * gnat.dg/lto4.ad[sb]: New test.
 
 2010-05-08  Eric Botcazou  <ebotcazou@adacore.com>
index 506b41f..c36aae8 100644 (file)
@@ -1,5 +1,5 @@
 -- { dg-do run }
--- { dg-options "-flto" { target lto } }
+-- { dg-options "-flto" }
 
 with Lto5_Pkg;