annotate gcc/testsuite/g++.dg/cet-notrack-1.C @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children 1830386684a0
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* { dg-do compile { target i?86-*-* x86_64-*-* } } */
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
2 /* { dg-options "-fcf-protection" } */
111
kono
parents:
diff changeset
3 /* { dg-final { scan-assembler "endbr32|endbr64" } } */
kono
parents:
diff changeset
4 /* { dg-final { scan-assembler-times "\tcall\[ \t]+puts" 2 } } */
kono
parents:
diff changeset
5 /* { dg-final { scan-assembler-times "notrack call\[ \t]+" 1 } } */
kono
parents:
diff changeset
6 #include <stdio.h>
kono
parents:
diff changeset
7
kono
parents:
diff changeset
8 struct A {
kono
parents:
diff changeset
9 virtual int foo() __attribute__((nocf_check)) { return 42; }
kono
parents:
diff changeset
10 };
kono
parents:
diff changeset
11
kono
parents:
diff changeset
12 struct B : A {
kono
parents:
diff changeset
13 int foo() __attribute__((nocf_check)) { return 73; }
kono
parents:
diff changeset
14 };
kono
parents:
diff changeset
15
kono
parents:
diff changeset
16 int main() {
kono
parents:
diff changeset
17 B b;
kono
parents:
diff changeset
18 A& a = b;
kono
parents:
diff changeset
19 int (A::*amem) () __attribute__((nocf_check)) = &A::foo; // take address
kono
parents:
diff changeset
20 if ((a.*amem)() == 73) // use the address
kono
parents:
diff changeset
21 printf("pass\n");
kono
parents:
diff changeset
22 else
kono
parents:
diff changeset
23 printf("fail\n");
kono
parents:
diff changeset
24 return 0;
kono
parents:
diff changeset
25 }