[Bug c++/15625] New: Sails to find static function

[Bug c++/15625] New: Sails to find static function

[igodard at pacbell dot net]

enum Relation {equalOp};
template<typename B>
class A {
public:
    static
    bool    Relop(const A&, const A&, Relation);

    friend
    bool    operator==(const A& a1, const A& a2) {
        return Relop(a1, a2, equalOp);
        }
    B* b;
    };

int main() {
    A<int> a; a == a;
    return 0;
    }


produces:

foo.cc: In function `bool operator==(const A<int>&, const A<int>&)':
foo.cc:16:   instantiated from here
foo.cc:10: error: no matching function for call to `A<B>::Relop(const A<int>&, const A<int>&, Relation)'
foo.cc:6: note: candidates are: static bool A<B>::Relop(const A<B>&, const A<B>&, Relation)


Even if this code is actually invalid (who could tell except the committee?) the error message should at least indicate what is really wrong.

Ivan

-- 
           Summary: Sails to find static function
           Product: gcc
           Version: 3.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: igodard at pacbell dot net
                CC: gcc-bugs at gcc dot gnu dot org


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

[Bug c++/15625] [3.4/3.5 Regression] friend defined inside a template fails to find static function

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-05-24 02:38 -------
Confirmed, a regression, this is template related.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |rejects-valid
   Last reconfirmed|0000-00-00 00:00:00         |2004-05-24 02:38:53
               date|                            |
            Summary|Sails to find static        |[3.4/3.5 Regression] friend
                   |function                    |defined inside a template
                   |                            |fails to find static
                   |                            |function
   Target Milestone|---                         |3.4.1


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

[Bug c++/15625] [3.4/3.5 Regression] friend defined inside a template fails to find static function

[bangerth at dealii dot org]

------- Additional Comments From bangerth at dealii dot org  2004-05-24 13:57 -------
Here is something slightly smaller: 
------------------- 
template <typename T> struct S { 
    static void foo(const S&); 
    friend void bar(const S& s) { foo(s); } 
}; 
 
int main() { 
    S<int> a; bar(a); 
} 
------------------ 
 
Although all prior versions of gcc before 3.4 and icc in strict mode 
accept this code, I am a little puzzled why this is so: bar() is just 
a friend, not a member, why should it look inside struct S to find the 
static function? Why don't I have to qualify foo as S::foo? 
 
Alas, that isn't the problem, from the error message gcc gives, it 
is pretty obvious that gcc just gets somehow confused about templates 
in this case. 
 
W. 

-- 


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