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

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 // PR c++/70035
kono
parents:
diff changeset
2 // { dg-do run }
kono
parents:
diff changeset
3 // { dg-shouldfail "ubsan" }
kono
parents:
diff changeset
4 // { dg-options "-fsanitize=vptr -fno-sanitize-recover=undefined" }
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 struct A {
kono
parents:
diff changeset
7 A (int) {}
kono
parents:
diff changeset
8 virtual int foo () { return 1; }
kono
parents:
diff changeset
9 };
kono
parents:
diff changeset
10 struct B : public A {
kono
parents:
diff changeset
11 using A::foo;
kono
parents:
diff changeset
12 B (int x) : A (foo (x)) {}
kono
parents:
diff changeset
13 int foo (int x) { return x * 2; }
kono
parents:
diff changeset
14 };
kono
parents:
diff changeset
15
kono
parents:
diff changeset
16 int
kono
parents:
diff changeset
17 main ()
kono
parents:
diff changeset
18 {
kono
parents:
diff changeset
19 B b (20);
kono
parents:
diff changeset
20 }
kono
parents:
diff changeset
21
kono
parents:
diff changeset
22 // { dg-output "\[^\n\r]*pr70035.C:12:\[0-9]*: runtime error: member call on address 0x\[0-9a-fA-F]* which does not point to an object of type 'B'(\n|\r\n|\r)" }
kono
parents:
diff changeset
23 // { dg-output "0x\[0-9a-fA-F]*: note: object has invalid vptr(\n|\r\n|\r)" }
kono
parents:
diff changeset
24 // { dg-output " ?.. .. .. .. ?.. .. .. .. ?.. .. .. .. \[^\n\r]*(\n|\r\n|\r)" }
kono
parents:
diff changeset
25 // { dg-output " ?\\^~~~~~~~~~~\[^\n\r]*(\n|\r\n|\r)" }
kono
parents:
diff changeset
26 // { dg-output " ?invalid vptr" }