Re: c++/8109: static member const used in non-type template parameter

Re: c++/8109: static member const used in non-type template parameter

[lerdsuwa]

Synopsis: static member const used in non-type template parameter

State-Changed-From-To: open->analyzed
State-Changed-By: lerdsuwa
State-Changed-When: Fri Oct  4 08:12:09 2002
State-Changed-Why:
    Confirmed.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=8109

Re: c++/8109: static member const used in non-type template parameter

[giovannibajo]

Synopsis: static member const used in non-type template parameter

State-Changed-From-To: analyzed->closed
State-Changed-By: bajo
State-Changed-When: Sun May  4 20:41:33 2003
State-Changed-Why:
    Reconfirmed 2.95 -> 3.3, but fixed in 3.4 CVS 20030503.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=8109

Re: c++/8109: static member const used in non-type template parameter

[Wolfgang Bangerth]

The following reply was made to PR c++/8109; it has been noted by GNATS.

From: Wolfgang Bangerth <bangerth@ticam.utexas.edu>
To: gcc-bugs@gcc.gnu.org, <benko@sztaki.hu>, <gcc-prs@gcc.gnu.org>,
   <gcc-gnats@gcc.gnu.org>
Cc:  
Subject: Re: c++/8109: static member const used in non-type template parameter
Date: Tue, 1 Oct 2002 11:35:45 -0500 (CDT)

 This report is probably a duplicate of the oldest non-closed bug report in 
 GNATS, c++/38 (which I am somehow proud to have filed :-)
 
 Regards
   Wolfgang
 
 -------------------------------------------------------------------------
 Wolfgang Bangerth              email:           bangerth@ticam.utexas.edu
                                www: http://www.ticam.utexas.edu/~bangerth
 
 

c++/8109: static member const used in non-type template parameter

[benko]

>Number:         8109
>Category:       c++
>Synopsis:       static member const used in non-type template parameter
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Tue Oct 01 08:26:00 PDT 2002
>Closed-Date:
>Last-Modified:
>Originator:     benko@sztaki.hu
>Release:        3.2
>Organization:
>Environment:
Linux arta 2.4.18 #2 Thu Feb 28 19:27:45 CET 2002 i686 unknown
>Description:
Compiling the following program

arta:~/c/proba$ cat static_member.cc
template <int i>
struct c
{};

template <typename T>
struct a
{
  static int const i = 0;

  void f(c<i>);
};

template <typename T>
void
a<T>::f(c<i>)
{}
arta:~/c/proba$ 

gives

arta:~/c/proba$ g++3 -c -W -Wall -ansi -pedantic static_member.cc 
static_member.cc:16: prototype for `void a<T>::f(c<a<T>::i>)' does not match 
   any in class `a<T>'
static_member.cc:10: candidate is: void a<T>::f(c<a<T>::i>)
static_member.cc:16: template definition of non-template `void 
   a<T>::f(c<a<T>::i>)'
zsh: exit 1     g++3 -c -W -Wall -ansi -pedantic static_member.cc
arta:~/c/proba$ 

Of course, it can be "fixed" by an inline definition of f.

Thank you,
Pal Benko
>How-To-Repeat:

>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted: