Mercurial > hg > CbC > CbC_gcc

annotate gcc/testsuite/gcc.dg/Wstringop-overflow-29.c @ 145:1830386684a0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
145
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
1 /* PR middle-end/91582 - missing heap overflow detection for strcpy
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
2 Verify calls via function pointers.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
3 { dg-do compile }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
4 { dg-options "-O2 -Wall -Wno-array-bounds -ftrack-macro-expansion=0" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
5
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
6 typedef __attribute__ ((alloc_size (1))) char* allocfn_t (unsigned);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
7
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
8 extern allocfn_t allocfn;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
9
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
10 void sink (void*);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
11
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
12 void direct_call (void)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
13 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
14 char *q = allocfn (0); // { dg-message "at offset 0 to an object with size 0 allocated by 'allocfn'" }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
15 q[0] = 0; // { dg-warning "\\\[-Wstringop-overflow" }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
16 sink (q);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
17 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
18
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
19
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
20 void local_ptr_call (void)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
21 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
22 allocfn_t *ptr = allocfn;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
23 char *q = ptr (1); // { dg-message "at offset -1 to an object with size 1 allocated by 'allocfn'" }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
24 q[0] = 0;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
25 q[-1] = 0; // { dg-warning "\\\[-Wstringop-overflow" }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
26 sink (q);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
27 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
28
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
29
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
30 void global_ptr_call (void)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
31 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
32 extern allocfn_t *ptralloc;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
33
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
34 allocfn_t *ptr = ptralloc;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
35 char *q = ptr (2); // { dg-message "at offset 3 to an object with size 2 allocated by 'ptralloc'" }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
36 q[0] = 0;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
37 q[1] = 1;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
38 q[3] = 3; // { dg-warning "\\\[-Wstringop-overflow" }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
39 sink (q);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
40 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
41
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
42 void global_ptr_array_call (void)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
43 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
44 extern allocfn_t * (arralloc[]);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
45
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
46 allocfn_t *ptr = arralloc[0];
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
47 char *q = ptr (2); // { dg-message "at offset 3 to an object with size 2 allocated by 'ptr'" }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
48 q[0] = 1;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
49 q[1] = 2;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
50 q[3] = 3; // { dg-warning "\\\[-Wstringop-overflow" }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
51 sink (q);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
52 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
53
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
54
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
55 struct S { allocfn_t *ptralloc; };
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
56
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
57 void member_ptr_call (struct S *p)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
58 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
59 char *q = p->ptralloc (3); // { dg-message "at offset 5 to an object with size 3 allocated by 'ptralloc' here" }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
60 q[0] = 0;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
61 q[1] = 1;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
62 q[2] = 2;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
63 q[5] = 0; // { dg-warning "\\\[-Wstringop-overflow" }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
64 sink (q);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
65 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
66