]>
git.proxmox.com Git - rustc.git/blob - tests/codegen/sanitizer/cfi-generalize-pointers.rs
1 // Verifies that pointer types are generalized.
4 // compile-flags: -Clto -Cno-prepopulate-passes -Ctarget-feature=-crt-static -Zsanitizer=cfi -Zsanitizer-cfi-generalize-pointers
10 pub fn foo0(_
: &mut i32) { }
11 // CHECK: define{{.*}}foo0{{.*}}!type ![[TYPE0:[0-9]+]] !type !{{[0-9]+}} !type !{{[0-9]+}}
12 pub fn foo1(_
: &mut i32, _
: &mut i32) { }
13 // CHECK: define{{.*}}foo1{{.*}}!type ![[TYPE1:[0-9]+]] !type !{{[0-9]+}} !type !{{[0-9]+}}
14 pub fn foo2(_
: &mut i32, _
: &mut i32, _
: &mut i32) { }
15 // CHECK: define{{.*}}foo2{{.*}}!type ![[TYPE2:[0-9]+]] !type !{{[0-9]+}} !type !{{[0-9]+}}
16 pub fn foo3(_
: &i32) { }
17 // CHECK: define{{.*}}foo3{{.*}}!type ![[TYPE3:[0-9]+]] !type !{{[0-9]+}} !type !{{[0-9]+}}
18 pub fn foo4(_
: &i32, _
: &i32) { }
19 // CHECK: define{{.*}}foo4{{.*}}!type ![[TYPE4:[0-9]+]] !type !{{[0-9]+}} !type !{{[0-9]+}}
20 pub fn foo5(_
: &i32, _
: &i32, _
: &i32) { }
21 // CHECK: define{{.*}}foo5{{.*}}!type ![[TYPE5:[0-9]+]] !type !{{[0-9]+}} !type !{{[0-9]+}}
22 pub fn foo6(_
: *mut i32) { }
23 // CHECK: define{{.*}}foo6{{.*}}!type ![[TYPE6:[0-9]+]] !type !{{[0-9]+}} !type !{{[0-9]+}}
24 pub fn foo7(_
: *mut i32, _
: *mut i32) { }
25 // CHECK: define{{.*}}foo7{{.*}}!type ![[TYPE7:[0-9]+]] !type !{{[0-9]+}} !type !{{[0-9]+}}
26 pub fn foo8(_
: *mut i32, _
: *mut i32, _
: *mut i32) { }
27 // CHECK: define{{.*}}foo8{{.*}}!type ![[TYPE8:[0-9]+]] !type !{{[0-9]+}} !type !{{[0-9]+}}
28 pub fn foo9(_
: *const i32) { }
29 // CHECK: define{{.*}}foo9{{.*}}!type ![[TYPE9:[0-9]+]] !type !{{[0-9]+}} !type !{{[0-9]+}}
30 pub fn foo10(_
: *const i32, _
: *const i32) { }
31 // CHECK: define{{.*}}foo10{{.*}}!type ![[TYPE10:[0-9]+]] !type !{{[0-9]+}} !type !{{[0-9]+}}
32 pub fn foo11(_
: *const i32, _
: *const i32, _
: *const i32) { }
33 // CHECK: define{{.*}}foo11{{.*}}!type ![[TYPE11:[0-9]+]] !type !{{[0-9]+}} !type !{{[0-9]+}}
35 // CHECK: ![[TYPE0]] = !{i64 0, !"_ZTSFvU3mutu3refIvEE.generalized"}
36 // CHECK: ![[TYPE1]] = !{i64 0, !"_ZTSFvU3mutu3refIvES0_E.generalized"}
37 // CHECK: ![[TYPE2]] = !{i64 0, !"_ZTSFvU3mutu3refIvES0_S0_E.generalized"}
38 // CHECK: ![[TYPE3]] = !{i64 0, !"_ZTSFvu3refIvEE.generalized"}
39 // CHECK: ![[TYPE4]] = !{i64 0, !"_ZTSFvu3refIvES_E.generalized"}
40 // CHECK: ![[TYPE5]] = !{i64 0, !"_ZTSFvu3refIvES_S_E.generalized"}
41 // CHECK: ![[TYPE6]] = !{i64 0, !"_ZTSFvPvE.generalized"}
42 // CHECK: ![[TYPE7]] = !{i64 0, !"_ZTSFvPvS_E.generalized"}
43 // CHECK: ![[TYPE8]] = !{i64 0, !"_ZTSFvPvS_S_E.generalized"}
44 // CHECK: ![[TYPE9]] = !{i64 0, !"_ZTSFvPKvE.generalized"}
45 // CHECK: ![[TYPE10]] = !{i64 0, !"_ZTSFvPKvS0_E.generalized"}
46 // CHECK: ![[TYPE11]] = !{i64 0, !"_ZTSFvPKvS0_S0_E.generalized"}