blob: 13686e3e025758c4de79009369bc7df36346bb2b (
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
|
/* We should specialize for &b and devirtualize the call.
Previously we were failing by considering CLOBBER statement to be
a type change. */
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-ipa-cp" } */
struct A {
void operator==(const A &);
};
class B {
public:
A m_fn1();
A m_fn2();
};
template <typename T, typename M> class C {
public:
T Key;
const M &m_fn2(const T &);
virtual void m_fn1() {}
B _map;
};
C<int, int> b;
template <typename T, typename M> const M &C<T, M>::m_fn2(const T &) {
A a = _map.m_fn2();
a == _map.m_fn1();
m_fn1();
}
void fn1() { b.m_fn2(0); }
/* { dg-final { scan-ipa-dump-times "Discovered a virtual call to a known target" 1 "cp" } } */
/* { dg-final { cleanup-ipa-dump "cp" } } */
|
