blob: 1c037d047dd1c19045f9a445c4ada9500dd86d43 (
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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
// Verify that -fsanitize=vptr downcast instrumentation works properly
// inside of constexpr.
// { dg-do compile }
// { dg-options "-std=c++11 -fsanitize=vptr" }
struct S {
constexpr S() : a(0) {}
int a;
int f() { return 0; }
virtual int v() { return 0; }
};
struct T : S {
constexpr T() : b(0) {}
int b;
int g() { return 0; }
virtual int v() { return 1; }
constexpr const T *foo() { return (const T *) reinterpret_cast<const S *> (this); }
};
constexpr T t;
constexpr const T *p = t.foo ();
template <typename U>
struct V {
constexpr V() : a(0) {}
int a;
int f() { return 0; }
virtual int v() { return 0; }
};
template <typename U>
struct W : V<U> {
constexpr W() : b(0) {}
int b;
int g() { return 0; }
virtual int v() { return 1; }
constexpr const W<U> *foo() { return (const W<U> *) reinterpret_cast<const V<U> *> (this); }
};
constexpr W<int> w;
constexpr const W<int> *s = w.foo ();
template <typename U>
int foo (void)
{
static constexpr T t;
static constexpr const T *p = t.foo ();
static constexpr W<U> w;
static constexpr const W<U> *s = w.foo ();
return t.b + w.b;
}
int x = foo <char> ();
|