Re: c++/3870

Re: c++/3870

[Martin Sebor]

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

From: Martin Sebor <sebor@roguewave.com>
To: gcc-gnats@gcc.gnu.org, gcc-prs@gcc.gnu.org,
 	gcc-bugs@gcc.gnu.org, nobody@gcc.gnu.org
Cc:  
Subject: Re: c++/3870
Date: Wed, 19 Sep 2001 11:59:02 -0600

 While trying to work around this
 
 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=3870&database=gcc
 
 I discovered that subsequent declarations compile fine. How bizarre!
 
 Martin
 
 
 template <class T>
 struct A { typedef int I; };
 
 template <class T>
 typename T::I
 foo (typename T::I, const T*);
 
 template <>
 int foo (int i, const A<long>*)
 {
     return 0; // i + 1;   // comment out to prevent error
 }
 
 #define foo bar
 
 template <class T>
 typename T::I
 foo (typename T::I, const T*);
 
 template <>
 int foo (int i, const A<long>*)
 {
     return i + 1;   // voila, it now works!
 }
 
 int main ()
 {
     return bar (0, (A<long>*)0);
 }