annotate gcc/testsuite/g++.dg/ubsan/pr83555.C @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
131
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
1 // PR c++/83555
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
2 // { dg-do run }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
3 // { dg-options "-fsanitize=null" }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
4 // { dg-output ":25:\[^\n\r]*reference binding to null pointer of type 'struct C'" }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
5
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
6 struct A { int a; };
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
7 struct B { int b; };
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
8 struct C : A, B { int c; };
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
9
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
10 __attribute__((noipa)) C *
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
11 foo (B *b)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
12 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
13 return static_cast<C *>(b);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
14 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
15
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
16 __attribute__((noipa)) C *
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
17 bar (B *b)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
18 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
19 return &static_cast<C &>(*b);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
20 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
21
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
22 __attribute__((noipa)) C *
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
23 baz (B *b)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
24 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
25 return &static_cast<C &>(*b);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
26 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
27
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
28 int
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
29 main ()
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
30 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
31 C c;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
32 if (foo (static_cast<B *> (&c)) != &c)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
33 __builtin_abort ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
34 if (foo (0))
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
35 __builtin_abort ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
36 if (bar (static_cast<B *> (&c)) != &c)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
37 __builtin_abort ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
38 baz (0);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
39 return 0;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
40 }