summaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.old-deja/g++.law/arm9.C
blob: 979ef808820eaafc00d319ef273b59c02ed99131 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
// { dg-do assemble  }
// GROUPS passed ARM-compliance
#include        <iostream>
enum f1 {
     F1
};

enum f2 {
    F2
};

class A {
public:
    void set (f1 f);
};
void A::set (f1 f) { std::cout << "called A f1\n";}

class B : public A {
public:
    void set (f2 f);
};
void B::set (f2 f) { std::cout << "called B\n|no known conversion";} // { dg-message "B::set|no known conversion" }

int main() {
    B b;
    b.set(F1); // ARM page 309: should call A.set(f1) and that what g++ does,// { dg-error "match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 26 }
               // but 13.1 of ARM clearly states that it should call B::set()
               // or generate an error because overloading works only for
               // functions within the same scope (first page of chapter 13)
               // while member of derived and base classes are considered to
               // belong to different scopes.  Thus B::set() should have
               // hidden (completely) the A::set() function.
}