annotate gcc/testsuite/gcc.dg/Wstringop-overflow-32.c @ 152:2b5abeee2509

update gcc11
author anatofuz
date Mon, 25 May 2020 07:50:57 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
152
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
1 /* PR middle-end/93829 - bogus -Wstringop-overflow on memcpy of a struct
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
2 with a pointer member from another with a long string
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
3 { dg-do compile }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
4 { dg-options "-O2 -Wall" } */
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
5
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
6 extern void* memcpy (void*, const void*, __SIZE_TYPE__);
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
7
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
8 #define S40 "0123456789012345678901234567890123456789"
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
9
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
10 const char s40[] = S40;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
11
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
12 struct S
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
13 {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
14 const void *p, *q, *r;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
15 } s, sa[2];
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
16
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
17
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
18 void test_lit_decl (void)
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
19 {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
20 struct S t = { 0, S40, 0 };
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
21
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
22 memcpy (&s, &t, sizeof t); // { dg-bogus "-Wstringop-overflow" }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
23 }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
24
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
25 void test_str_decl (void)
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
26 {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
27 struct S t = { 0, s40, 0 };
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
28
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
29 memcpy (&s, &t, sizeof t); // { dg-bogus "-Wstringop-overflow" }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
30 }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
31
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
32
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
33 void test_lit_ssa (int i)
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
34 {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
35 if (i < 1)
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
36 i = 1;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
37 struct S *p = &sa[i];
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
38 struct S t = { 0, S40, 0 };
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
39
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
40 memcpy (p, &t, sizeof t); // { dg-bogus "-Wstringop-overflow" }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
41 }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
42
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
43 void test_str_ssa (int i)
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
44 {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
45 if (i < 1)
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
46 i = 1;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
47 struct S *p = &sa[i];
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
48 struct S t = { 0, s40, 0 };
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
49
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
50 memcpy (p, &t, sizeof t); // { dg-bogus "-Wstringop-overflow" }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
51 }