[Bug ada/38394] New: clashing assembler symbols

[Bug ada/38394] New: clashing assembler symbols

[michael dot voelske at medien dot uni-weimar dot de]

The following program results in clashing assembler symbols when compiled
with gnat-4.3.  This does not happen when using gnat-4.2.

-- file: pkg.ads --
package Pkg is
   procedure Foo;

   Max : Natural := 1;
   type Arr is array(Natural range 0..Max) of Natural;

   type T is record
         A : Arr := (others => 0); 
      end record;
end;

-- file: pkg.adb --
package body Pkg is
   procedure Foo is
      X, Y : T;
   begin
      null;
   end;
end;

-- compilation --

gcc-4.3 -c pkg.adb
/tmp/ccP5RYSw.s: Assembler messages:
/tmp/ccP5RYSw.s:76: Error: symbol `pkg__foo__T3scc___U' is already defined
End of compilation
gnatmake: "pkg.adb" compilation error


-- 
           Summary: clashing assembler symbols
           Product: gcc
           Version: 4.3.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: michael dot voelske at medien dot uni-weimar dot de


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38394

[Bug ada/38394] [4.3/4.4 regression] clashing assembler symbols

[laurent at guerby dot net]

------- Comment #1 from laurent at guerby dot net  2008-12-04 10:52 -------
Confirmed that it works with 4.2.4 but fails with 4.3.2 and trunk on
x86_64-linux at least.

gcc version 4.4.0 20081118 (experimental) [trunk revision 141967] (GCC) 
$ gcc -c pkg.adb
/tmp/ccF1O7nh.s: Assembler messages:
/tmp/ccF1O7nh.s:86: Error: symbol `pkg__foo__T3scc___U' is already defined


-- 

laurent at guerby dot net changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |laurent at guerby dot net
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |link-failure
      Known to fail|                            |4.3.2
      Known to work|                            |4.2.4
   Last reconfirmed|0000-00-00 00:00:00         |2008-12-04 10:52:06
               date|                            |
            Summary|clashing assembler symbols  |[4.3/4.4 regression]
                   |                            |clashing assembler symbols


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38394

[Bug ada/38394] [4.3/4.4 regression] clashing assembler symbols

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.4.1


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38394

[Bug ada/38394] [4.3/4.4 regression] clashing assembler symbols

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.4.1                       |4.3.3


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38394

[Bug ada/38394] [4.3/4.4 regression] clashing assembler symbols

[jakub at gcc dot gnu dot org]

-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P4


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38394

[Bug ada/38394] [4.3/4.4 regression] clashing assembler symbols

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2009-01-24 10:21 -------
GCC 4.3.3 is being released, adjusting target milestone.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.3.3                       |4.3.4


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38394

[Bug ada/38394] [4.3/4.4/4.5 regression] clashing assembler symbols

[michael dot voelske at medien dot uni-weimar dot de]

------- Comment #3 from michael dot voelske at medien dot uni-weimar dot de  2009-05-28 18:24 -------
FYI, this issue seems to be fixed in GNAT GPL 2009, released today.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38394

[Bug ada/38394] [4.3/4.4 regression] clashing assembler symbols

[laurent at guerby dot net]

------- Comment #4 from laurent at guerby dot net  2009-05-28 19:30 -------
The issue is present on 4.4.0

guerby@gcc16:~/tmp$ /opt/cfarm/release/4.4.0/bin/gcc -c pkg.adb
/tmp/cc6tnj9K.s: Assembler messages:
/tmp/cc6tnj9K.s:86: Error: symbol `pkg__foo__T3scc___U' is already defined

But fixed on trunk as of revision 147903


-- 

laurent at guerby dot net changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|4.3.2                       |4.3.2 4.4.0
            Summary|[4.3/4.4/4.5 regression]    |[4.3/4.4 regression]
                   |clashing assembler symbols  |clashing assembler symbols


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38394

[Bug ada/38394] [4.3/4.4 regression] clashing assembler symbols

[rguenth at gcc dot gnu dot org]

------- Comment #5 from rguenth at gcc dot gnu dot org  2009-08-04 12:29 -------
GCC 4.3.4 is being released, adjusting target milestone.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.3.4                       |4.3.5


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38394

[Bug ada/38394] [4.3/4.4 regression] clashing assembler symbols

[rguenth at gcc dot gnu dot org]

------- Comment #6 from rguenth at gcc dot gnu dot org  2010-05-22 18:12 -------
GCC 4.3.5 is being released, adjusting target milestone.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.3.5                       |4.3.6


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38394

[Bug ada/38394] [4.3/4.4 regression] clashing assembler symbols

[ebotcazou at gcc dot gnu dot org]

------- Comment #7 from ebotcazou at gcc dot gnu dot org  2010-05-24 21:43 -------
Subject: Bug 38394

Author: ebotcazou
Date: Mon May 24 21:43:31 2010
New Revision: 159798

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=159798
Log:
        PR ada/38394
        * gnat.dg/array13.ad[sb]: New test.

Added:
    trunk/gcc/testsuite/gnat.dg/array13.adb
    trunk/gcc/testsuite/gnat.dg/array13.ads
Modified:
    trunk/gcc/testsuite/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38394

[Bug ada/38394] [4.3/4.4 regression] clashing assembler symbols

[ebotcazou at gcc dot gnu dot org]

------- Comment #8 from ebotcazou at gcc dot gnu dot org  2010-05-24 21:46 -------
Subject: Bug 38394

Author: ebotcazou
Date: Mon May 24 21:46:05 2010
New Revision: 159799

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=159799
Log:
        PR ada/38394
        * gnat.dg/array13.ad[sb]: New test.

Added:
    branches/gcc-4_5-branch/gcc/testsuite/gnat.dg/array13.adb
      - copied unchanged from r159798, trunk/gcc/testsuite/gnat.dg/array13.adb
    branches/gcc-4_5-branch/gcc/testsuite/gnat.dg/array13.ads
      - copied unchanged from r159798, trunk/gcc/testsuite/gnat.dg/array13.ads
Modified:
    branches/gcc-4_5-branch/gcc/testsuite/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38394

[Bug ada/38394] [4.3/4.4 regression] clashing assembler symbols

[ebotcazou at gcc dot gnu dot org]

------- Comment #9 from ebotcazou at gcc dot gnu dot org  2010-05-24 21:49 -------
Too delicate to fix on the older branches.


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ebotcazou at gcc dot gnu dot
                   |                            |org
             Status|NEW                         |RESOLVED
           Keywords|link-failure                |wrong-code
      Known to fail|4.3.2 4.4.0                 |4.3.2 4.4.0 4.4.4
      Known to work|4.2.4                       |4.2.4 4.5.0
         Resolution|                            |FIXED
   Target Milestone|4.3.6                       |4.5.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38394