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

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 /* { dg-do compile } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
2 /* { dg-options "-O2 -Wstringop-overflow" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
3
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
4 void
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
5 foo (char *a)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
6 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
7 char b[16] = "abcdefg";
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
8 __builtin_strncpy (a, b, __builtin_strlen (b)); /* { dg-warning "specified bound depends on the length of the source argument" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
9 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
10
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
11 void
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
12 bar (char *a)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
13 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
14 char b[16] = "abcdefg";
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
15 __builtin_strncpy (a, b, __builtin_strnlen (b, 8)); /* { dg-warning "specified bound depends on the length of the source argument" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
16 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
17
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
18 void
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
19 baz (char *a)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
20 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
21 char b[16] = "abcdefg";
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
22 __builtin_strncpy (a, b, __builtin_strnlen (b, 7)); /* { dg-bogus "specified bound depends on the length of the source argument" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
23 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
24
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
25 void fill (char *);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
26
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
27 void
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
28 qux (char *a)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
29 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
30 char b[16];
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
31 fill (b);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
32 __builtin_memcpy (b, "abcdefg", 7);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
33 __builtin_strncpy (a, b, __builtin_strnlen (b, 8)); /* { dg-bogus "specified bound depends on the length of the source argument" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
34 }