Re: c++/10199: [3.3 regression] method parametrized by template does not work everywhere

Re: c++/10199: [3.3 regression] method parametrized by template does not work everywhere

[nathan]

Synopsis: [3.3 regression] method parametrized by template does not work everywhere

State-Changed-From-To: analyzed->closed
State-Changed-By: nathan
State-Changed-When: Mon Mar 24 18:39:37 2003
State-Changed-Why:
    2003-03-24  Nathan Sidwell  <nathan@codesourcery.com>
    
    	PR c++/10199
    	* call.c (build_method_call): Deal with LOOKUP_EXPR.
    	* semantics.c (finish_object_call_expr): Use build_method_call
    	when in a template decl.

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

Re: c++/10199: [3.3 regression] method parametrized by template does not work everywhere

[nathan]

Synopsis: [3.3 regression] method parametrized by template does not work everywhere

Responsible-Changed-From-To: unassigned->nathan
Responsible-Changed-By: nathan
Responsible-Changed-When: Mon Mar 24 13:41:03 2003
Responsible-Changed-Why:
    fixing

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

Re: c++/10199: [3.3 regression] method parametrized by template does not work everywhere

[steven]

Synopsis: [3.3 regression] method parametrized by template does not work everywhere

State-Changed-From-To: open->analyzed
State-Changed-By: steven
State-Changed-When: Mon Mar 24 10:15:36 2003
State-Changed-Why:
    Confirmed

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

c++/10199: [3.3 regression] method parametrized by template does not work everywhere

[Matthias Klose]

>Number:         10199
>Category:       c++
>Synopsis:       [3.3 regression] method parametrized by template does not work everywhere
>Confidential:   no
>Severity:       non-critical
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          ice-on-legal-code
>Submitter-Id:   net
>Arrival-Date:   Mon Mar 24 06:36:00 UTC 2003
>Closed-Date:
>Last-Modified:
>Originator:     Thimo Neubauer <thimo@debian.org>
>Release:        3.3 CVS 20030323
>Organization:
The Debian Project
>Environment:
>Description:
[ Reported to the Debian BTS as report #185604.
  Please CC 185604@bugs.debian.org on replies.
  Log of report can be found at http://bugs.debian.org/185604 ]
	

- 3.2 CVS 20030316 rejects the code
- 3.3 CVS 20030323 ICEs in the error message (the regression)
- 3.4 CVS 20030316 compiles the code

 $ g++-3.2 bugs-185604.cc
bugs-185604.cc: In function `void bar(T&) [with T = int]':
bugs-185604.cc:26:   instantiated from here
bugs-185604.cc:18: no matching function for call to `X::bar()'

$ g++-3.3 bugs-185604.cc
bugs-185604.cc: In function `void bar(T&)':
bugs-185604.cc:18: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://www.gnu.org/software/gcc/bugs.html> for instructions.


The following program is valid C++, but does not compile:

-- snip --

class X {
public:
  template<int d>
  int bar () {return d;}
};

template<int x>
int fooo ()
{
  return x;
}

template<class T>
void bar (T& g)
{
  int kk = fooo<17>();  // OK
  X x;
  int k = x.bar<17>();  // Not OK
}

int main ()
{
  X x;
  int k=x.bar<17>();    // OK
  int n;
  bar(n);
}

-- snip --
>How-To-Repeat:
	
>Fix:
	
>Release-Note:
>Audit-Trail:
>Unformatted:
 System: Debian GNU/Linux (unstable)
 Architecture: i686