annotate gcc/testsuite/gcc.dg/pr83373.c @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
131
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
1 /* PR middle-end/83373 - False positive reported by -Wstringop-overflow
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
2 { dg-do compile }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
3 { dg-options "-O2 -Wstringop-overflow" } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
4
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
5 typedef __SIZE_TYPE__ size_t;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
6
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
7 char buf[100];
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
8
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
9 void get_data (char*);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
10
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
11 __attribute__ ((nonnull(1, 2)))
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
12 inline char* my_strcpy (char* dst, const char* src, size_t size)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
13 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
14 size_t len = __builtin_strlen (src);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
15 if (len < size)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
16 __builtin_memcpy (dst, src, len + 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
17 else
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
18 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
19 __builtin_memcpy (dst, src, size - 1); /* { dg-bogus "\\\[-Wstringop-oveflow]" } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
20 dst[size - 1] = '\0';
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
21 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
22
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
23 return dst;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
24 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
25
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
26 void test(void)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
27 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
28 char data[20] = "12345";
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
29
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
30 get_data (data);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
31
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
32 my_strcpy (buf, data, sizeof buf);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
33 }