|
145
|
1 // PR c++/89833
|
|
|
2 // Anal test to verify that arrays of null pointer to members are
|
|
|
3 // treated as null regardless of the form of their initialization,
|
|
|
4 // and have all bits set in their representation.
|
|
|
5 // { dg-do run { target c++11 } }
|
|
|
6 // { dg-options "-O2 -Wall" }
|
|
|
7
|
|
|
8 #define NOIPA __attribute__ ((noipa))
|
|
|
9
|
|
|
10 struct A { int i; };
|
|
|
11
|
|
|
12 typedef int A::*pam_t;
|
|
|
13
|
|
|
14 pam_t apam__[2] = { };
|
|
|
15 pam_t apam0_[2] = { 0 };
|
|
|
16 pam_t apam00[2] = { 0, 0 };
|
|
|
17
|
|
|
18 struct B { pam_t a[2]; };
|
|
|
19
|
|
|
20 NOIPA B f__ () { return B{ }; }
|
|
|
21 NOIPA B f0_ () { return B{ 0 }; }
|
|
|
22 NOIPA B f00 () { return B{ 0, 0 }; }
|
|
|
23
|
|
|
24 const B c__{ };
|
|
|
25 const B c0_{ 0 };
|
|
|
26 const B c00{ 0, 0 };
|
|
|
27
|
|
|
28 B b__{ };
|
|
|
29 B b0_{ 0 };
|
|
|
30 B b00{ 0, 0 };
|
|
|
31
|
|
|
32 #define assert(expr) \
|
|
|
33 (expr) ? (void)0 : __builtin_abort ()
|
|
|
34
|
|
|
35 signed char allones[2 * sizeof (pam_t)];
|
|
|
36
|
|
|
37 #define assert_rep(mp, n) \
|
|
|
38 assert (!test_allones (mp, n))
|
|
|
39
|
|
|
40 NOIPA void init_allones ()
|
|
|
41 {
|
|
|
42 __builtin_memset (allones, -1, sizeof allones);
|
|
|
43 }
|
|
|
44
|
|
|
45 NOIPA int test_allones (const pam_t *p, unsigned n)
|
|
|
46 {
|
|
|
47 return __builtin_memcmp (allones, p, sizeof *p * n);
|
|
|
48 }
|
|
|
49
|
|
|
50 int main ()
|
|
|
51 {
|
|
|
52 init_allones ();
|
|
|
53
|
|
|
54 assert (apam__[0] == nullptr && apam__[1] == nullptr);
|
|
|
55 assert (apam0_[0] == nullptr && apam0_[1] == nullptr);
|
|
|
56 assert (apam00[0] == nullptr && apam00[1] == nullptr);
|
|
|
57
|
|
|
58 assert (f__ ().a[0] == nullptr && f__ ().a[1] == nullptr);
|
|
|
59 assert (f0_ ().a[0] == nullptr && f0_ ().a[1] == nullptr);
|
|
|
60 assert (f00 ().a[0] == nullptr && f00 ().a[1] == nullptr);
|
|
|
61
|
|
|
62 assert (b__.a[0] == nullptr && b__.a[1] == nullptr);
|
|
|
63 assert (b0_.a[0] == nullptr && b0_.a[1] == nullptr);
|
|
|
64 assert (b00.a[0] == nullptr && b00.a[1] == nullptr);
|
|
|
65
|
|
|
66 assert (c__.a[0] == nullptr && c__.a[1] == nullptr);
|
|
|
67 assert (c0_.a[0] == nullptr && c0_.a[1] == nullptr);
|
|
|
68 assert (c00.a[0] == nullptr && c00.a[1] == nullptr);
|
|
|
69
|
|
|
70 assert_rep (apam__, 2);
|
|
|
71 assert_rep (apam0_, 2);
|
|
|
72 assert_rep (apam00, 2);
|
|
|
73
|
|
|
74 assert_rep (f__ ().a, 2);
|
|
|
75 assert_rep (f0_ ().a, 2);
|
|
|
76 assert_rep (f0_ ().a, 2);
|
|
|
77 assert_rep (f00 ().a, 2);
|
|
|
78
|
|
|
79 assert_rep (b__.a, 2);
|
|
|
80 assert_rep (b0_.a, 2);
|
|
|
81 assert_rep (b00.a, 2);
|
|
|
82
|
|
|
83 assert_rep (c__.a, 2);
|
|
|
84 assert_rep (c0_.a, 2);
|
|
|
85 assert_rep (c00.a, 2);
|
|
|
86 }
|
