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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
|
// { dg-options "-Wcatch-value=2" }
struct A { virtual ~A() {} };
struct B : A {};
struct C {};
struct D : C {};
void foo()
{
try {}
catch (D) {} // { dg-warning "catching type" }
catch (C) {} // { dg-warning "catching type" }
catch (B) {} // { dg-warning "catching polymorphic type" }
catch (A) {} // { dg-warning "catching polymorphic type" }
catch (A*) {}
catch (int) {}
try {}
catch (D&) {}
catch (C&) {}
catch (B&) {}
catch (A&) {}
catch (A*) {}
catch (int&) {}
}
template<typename T> void foo1()
{
try {}
catch (T) {} // { dg-warning "catching" }
}
template<typename T> void foo2()
{
try {}
catch (T*) {}
try {}
catch (T&) {}
try {}
catch (const T&) {}
}
void bar()
{
foo1<int&>();
foo1<const A&>();
foo1<B&>();
foo1<const C&>();
foo1<D&>();
foo1<int>();
foo1<A>(); // { dg-message "required" }
foo1<B>(); // { dg-message "required" }
foo1<C>(); // { dg-message "required" }
foo1<D>(); // { dg-message "required" }
foo2<int>();
foo2<A>();
foo2<B>();
foo2<C>();
foo2<D>();
}
|
