1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
|
// RUN: clang-cc -triple x86_64-apple-darwin -S %s -o - | FileCheck %s
#define strcpy(dest, src) \
((__builtin_object_size(dest, 0) != -1ULL) \
? __builtin___strcpy_chk (dest, src, __builtin_object_size(dest, 1)) \
: __inline_strcpy_chk(dest, src))
static char *__inline_strcpy_chk (char *dest, const char *src) {
return __builtin___strcpy_chk(dest, src, __builtin_object_size(dest, 1));
}
char gbuf[63];
char *gp;
int gi, gj;
void test1() {
// CHECK: movabsq $59, %rdx
// CHECK-NEXT: movq %rax, %rdi
// CHECK-NEXT: movq %rcx, %rsi
// CHECK-NEXT: call ___strcpy_chk
strcpy(&gbuf[4], "Hi there");
}
void test2() {
// CHECK: movabsq $63, %rdx
// CHECK-NEXT: movq %rax, %rdi
// CHECK-NEXT: movq %rcx, %rsi
// CHECK-NEXT: call ___strcpy_chk
strcpy(gbuf, "Hi there");
}
void test3() {
// CHECK: movabsq $0, %rdx
// CHECK-NEXT: movq %rax, %rdi
// CHECK-NEXT: movq %rcx, %rsi
// CHECK-NEXT: call ___strcpy_chk
strcpy(&gbuf[100], "Hi there");
}
void test4() {
// CHECK: movabsq $0, %rdx
// CHECK-NEXT: movq %rax, %rdi
// CHECK-NEXT: movq %rcx, %rsi
// CHECK-NEXT: call ___strcpy_chk
strcpy((char*)(void*)&gbuf[-1], "Hi there");
}
void test5() {
// CHECK: movb $0, %al
// CHECK-NEXT: testb %al, %al
// CHECK: call ___inline_strcpy_chk
strcpy(gp, "Hi there");
}
void test6() {
char buf[57];
// CHECK: movabsq $53, %rdx
// CHECK-NEXT: movq %rax, %rdi
// CHECK-NEXT: movq %rcx, %rsi
// CHECK-NEXT: call ___strcpy_chk
strcpy(&buf[4], "Hi there");
}
void test7() {
int i;
// CHECK-NOT: call ___strcpy_chk
// CHECK: call ___inline_strcpy_chk
strcpy((++i, gbuf), "Hi there");
}
void test8() {
char *buf[50];
// CHECK-NOT: call ___strcpy_chk
// CHECK: call ___inline_strcpy_chk
strcpy(buf[++gi], "Hi there");
}
void test9() {
// CHECK-NOT: call ___strcpy_chk
// CHECK: call ___inline_strcpy_chk
strcpy((char *)((++gi) + gj), "Hi there");
}
char **p;
void test10() {
// CHECK-NOT: call ___strcpy_chk
// CHECK: call ___inline_strcpy_chk
strcpy(*(++p), "Hi there");
}
void test11() {
// CHECK-NOT: call ___strcpy_chk
// CHECK: call ___inline_strcpy_chk
strcpy(gp = gbuf, "Hi there");
}
void test12() {
// CHECK-NOT: call ___strcpy_chk
// CHECK: call ___inline_strcpy_chk
strcpy(++gp, "Hi there");
}
void test13() {
// CHECK-NOT: call ___strcpy_chk
// CHECK: call ___inline_strcpy_chk
strcpy(gp++, "Hi there");
}
void test14() {
// CHECK-NOT: call ___strcpy_chk
// CHECK: call ___inline_strcpy_chk
strcpy(--gp, "Hi there");
}
void test15() {
// CHECK-NOT: call ___strcpy_chk
// CHECK: call ___inline_strcpy_chk
strcpy(gp--, "Hi there");
}
void test16() {
// CHECK-NOT: call ___strcpy_chk
// CHECK: call ___inline_strcpy_chk
strcpy(gp += 1, "Hi there");
}
|
