[Bug c++/28016] New: GCC 4.2 emitting static template constants as global symbols?

[Bug c++/28016] New: GCC 4.2 emitting static template constants as global symbols?

[bredelin at ucla dot edu]

I have some software that uses the BOOST matrix library UBLAS (1.33.1).  This
software compiles and links with GCC 4.1.1 (Debian Linux system - GNU ld) but
gives linking errors with GCC 4.2:

substitution.o:(.data+0x0): multiple definition of
`_ZN5boost7numeric5ublas21scalar_divides_assignIT_T0_E8computedE'
alignment.o:(.data+0x0): first defined here

Here is from the definition of the static const member of a template class in
boost/numeric/ublas/functional.hpp:

template<class T1, class T2>
struct scalar_divides_assign:
public scalar_binary_assign_functor<T1, T2> {
      ... stuff ...
};

template<class T1, class T2>
const bool scalar_divides_assign<T1,T2>::computed = true;

GCC 4.2, but not 4.1 actually emits this constant in the global data section. 
With 4.2:

$ nm alignment.o | grep divides
0000000000000180 t
_GLOBAL__I__ZN5boost7numeric5ublas21scalar_divides_assignIT_T0_E8computedE
0000000000000000 D
_ZN5boost7numeric5ublas21scalar_divides_assignIT_T0_E8computedE

With 4.1 neither of these two symbols (or is it one symbol, mentioned twice?)
is emitted.


-- 
           Summary: GCC 4.2 emitting static template constants as global
                    symbols?
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: bredelin at ucla dot edu
 GCC build triplet: x86_64-unknown-linux-gnu
  GCC host triplet: x86_64-unknown-linux-gnu
GCC target triplet: x86_64-unknown-linux-gnu


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

[Bug c++/28016] GCC 4.2 emitting static template constants as global symbols?

[bredelin at ucla dot edu]

------- Comment #1 from bredelin at ucla dot edu  2006-06-13 18:30 -------
Here is some source code that exhibits the problem:
---------------- begin a.C -----------------
template<class T1, class T2>
struct scalar_divides_assign {
  static const bool computed ;
};

template<class T1, class T2>
const bool scalar_divides_assign<T1,T2>::computed = true;
----------------- end ------------------

To see the problem do 
$ g++-4.2 -c a.C
$ nm a.o | grep computed
0000000000000000 D _ZN21scalar_divides_assignIT_T0_E8computedE

This symbol shouldn't be emitted, or at least not in this way.


-- 


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

[Bug c++/28016] [4.2 Regression] GCC 4.2 emitting static template constants as global symbols?

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2006-06-13 18:49 -------
Confirmed.
(In reply to comment #1)

> template<class T1, class T2>
> const bool scalar_divides_assign<T1,T2>::computed = true;

For this case above, nothing should be emitted.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
  GCC build triplet|x86_64-unknown-linux-gnu    |
   GCC host triplet|x86_64-unknown-linux-gnu    |
 GCC target triplet|x86_64-unknown-linux-gnu    |
           Keywords|                            |link-failure, wrong-code
      Known to work|                            |4.1.0
   Last reconfirmed|0000-00-00 00:00:00         |2006-06-13 18:49:08
               date|                            |
            Summary|GCC 4.2 emitting static     |[4.2 Regression] GCC 4.2
                   |template constants as global|emitting static template
                   |symbols?                    |constants as global symbols?
   Target Milestone|---                         |4.2.0


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

[Bug c++/28016] [4.2 Regression] emitting template constant

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2006-06-13 18:52 -------
It is only static const variables which are miss handled.


-- 


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

[Bug c++/28016] [4.2 Regression] emitting template constant

[happyarch at gmail dot com]

------- Comment #4 from happyarch at gmail dot com  2006-06-14 07:03 -------
boostjam get segfault to build boost with gcc-4.2

 > pwd
/home/keti/download/boost_1_33_1
 >
 > make
./tools/build/jam_src/bin.linuxx86/bjam -sPYTHON_ROOT=/usr -sPYTHON_VERSION=2.4
-sTOOLS=gcc
/bin/sh: line 1: 27533 


-- 


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

[Bug c++/28016] [4.2 Regression] emitting template constant

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1


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

[Bug c++/28016] [4.2 Regression] emitting template constant

[tbm at cyrius dot com]

------- Comment #5 from tbm at cyrius dot com  2006-06-16 14:46 -------
This also fails with 4.1 from SVN.  The problem got introduced between 20060530
and 20060613.


-- 


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

[Bug c++/28016] [4.2 Regression] emitting template constant

[tbm at cyrius dot com]

------- Comment #6 from tbm at cyrius dot com  2006-06-16 14:47 -------
(In reply to comment #4)
> boostjam get segfault to build boost with gcc-4.2

I can confirm this, but this is a completely different issue.  Unfortunately, I
don't know if this is a bug in boost or gcc, but I suspect the former.


-- 

tbm at cyrius dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |tbm at cyrius dot com


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

[Bug c++/28016] [4.2 Regression] emitting template constant

[tbm at cyrius dot com]

------- Comment #7 from tbm at cyrius dot com  2006-06-16 15:11 -------
This was caused by this commit:

2006-06-04  Mark Mitchell  <mark@codesourcery.com>

        PR c++/27819
        * decl.c (cp_finish_decl): Process initializers for static data
        members with non-dependent initializers, even in templates.


-- 

tbm at cyrius dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mark at codesourcery dot com


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

[Bug c++/28016] [4.1/4.2 Regression] emitting template constant

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |4.1.2 4.2.0
            Summary|[4.2 Regression] emitting   |[4.1/4.2 Regression]
                   |template constant           |emitting template constant
   Target Milestone|4.2.0                       |4.1.2


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

[Bug c++/28016] [4.1/4.2 Regression] emitting template constant

[pinskia at gcc dot gnu dot org]

------- Comment #8 from pinskia at gcc dot gnu dot org  2006-06-16 19:01 -------
*** Bug 28065 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pintaric at ims dot tuwien
                   |                            |dot ac dot at


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

[Bug c++/28016] [4.1/4.2 Regression] emitting template constant

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |mark at codesourcery dot com
                   |dot org                     |
             Status|NEW                         |ASSIGNED


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

[Bug c++/28016] [4.1/4.2 Regression] emitting template constant

[mmitchel at gcc dot gnu dot org]

------- Comment #9 from mmitchel at gcc dot gnu dot org  2006-06-17 01:11 -------
Subject: Bug 28016

Author: mmitchel
Date: Sat Jun 17 01:11:34 2006
New Revision: 114739

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=114739
Log:
        PR c++/28016
        * decl.c (cp_finsh_decl): Do not emit uninstantiated static data
        members.
        PR c++/28016
        * g++.dg/template/static26.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/template/static26.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/decl.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/28016] [4.1 Regression] emitting template constant

[mmitchel at gcc dot gnu dot org]

------- Comment #10 from mmitchel at gcc dot gnu dot org  2006-06-17 01:14 -------
Fixed in 4.2.0.


-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.1/4.2 Regression]        |[4.1 Regression] emitting
                   |emitting template constant  |template constant


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

[Bug c++/28016] [4.1 Regression] emitting template constant

[pinskia at gcc dot gnu dot org]

------- Comment #11 from pinskia at gcc dot gnu dot org  2006-07-10 08:53 -------
*** Bug 28327 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |matz at gcc dot gnu dot org


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

[Bug c++/28016] [4.1 Regression] emitting template constant

[matz at gcc dot gnu dot org]

------- Comment #12 from matz at gcc dot gnu dot org  2006-07-10 08:57 -------
Mark, please apply to 4.1 branch also.


-- 


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

[Bug c++/28016] [4.1 Regression] emitting template constant

[mmitchel at gcc dot gnu dot org]

------- Comment #13 from mmitchel at gcc dot gnu dot org  2006-07-12 07:22 -------
Subject: Bug 28016

Author: mmitchel
Date: Wed Jul 12 07:22:47 2006
New Revision: 115365

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=115365
Log:
        PR c++/28016
        * decl.c (cp_finsh_decl): Do not emit uninstantiated static data
        members.
        PR c++/28016
        * g++.dg/template/static26.C: New test.

Added:
    branches/gcc-4_1-branch/gcc/testsuite/g++.dg/template/static26.C
Modified:
    branches/gcc-4_1-branch/gcc/cp/ChangeLog
    branches/gcc-4_1-branch/gcc/cp/decl.c
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/28016] [4.1 Regression] emitting template constant

[mmitchel at gcc dot gnu dot org]

------- Comment #14 from mmitchel at gcc dot gnu dot org  2006-07-12 07:23 -------
Fixed in 4.1.2.


-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


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

[Bug c++/28016] [4.1 Regression] emitting template constant

[tbm at gcc dot gnu dot org]

------- Comment #15 from tbm at gcc dot gnu dot org  2006-08-04 15:10 -------
*** Bug 28599 has been marked as a duplicate of this bug. ***


-- 

tbm at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |peter dot soetens at fmtc
                   |                            |dot be


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

[Bug c++/28016] [4.1 Regression] emitting template constant

[tbm at gcc dot gnu dot org]

------- Comment #16 from tbm at gcc dot gnu dot org  2006-08-06 13:41 -------
*** Bug 28620 has been marked as a duplicate of this bug. ***


-- 

tbm at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |tausq at debian dot org


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