annotate gcc/testsuite/gcc.dg/strlenopt-38.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 tree-optimization/83444 */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
2 /* { dg-do compile } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
3 /* { dg-options "-O2 -fdump-tree-optimized" } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
4 /* { dg-final { scan-tree-dump-not "abort \\(\\)" "optimized" } } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
5
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
6 #include "strlenopt.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
7
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
8 void
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
9 foo (void)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
10 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
11 char a[5] = "012";
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
12 strcpy (a, "");
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
13 if (strlen (a) != 0)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
14 abort ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
15 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
16
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
17 void
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
18 bar (void)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
19 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
20 char a[5] = "012";
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
21 char b[7] = "";
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
22 strcpy (a, b);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
23 if (strlen (a) != 0)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
24 abort ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
25 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
26
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
27 struct S { char a[4]; char b[5]; char c[7]; };
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
28
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
29 void
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
30 baz (void)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
31 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
32 struct S s;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
33 strcpy (s.b, "012");
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
34 strcpy (s.c, "");
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
35 strcpy (s.b, s.c);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
36 if (s.b[0] != 0)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
37 abort ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
38 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
39
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
40 void
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
41 boo (void)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
42 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
43 struct S s;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
44 strcpy (s.b, "012");
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
45 strcpy (s.c, "");
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
46 strcpy (s.b, s.c);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
47 if (strlen (s.b) != 0)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
48 abort ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
49 }