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.
}
|
