2 /* { dg-options "-O2 -fdump-tree-strlen" } */
6 __attribute__((noinline
, noclone
)) size_t
10 char *r
= strchr (p
, '\0');
12 char *s
= strchr (r
, '\0');
23 char buf
[16] = "01234";
25 if (bar (buf
, "56789") != 30)
28 if (memcmp (buf
, "01234abcde56789", 16) != 0)
34 /* { dg-final { scan-tree-dump-times "strlen \\(" 4 "strlen1" } } */
35 /* { dg-final { scan-tree-dump-times "memcpy \\(" 1 "strlen1" } } */
36 /* { dg-final { scan-tree-dump-times "strcpy \\(" 1 "strlen1" } } */
37 /* { dg-final { scan-tree-dump-times "strcat \\(" 0 "strlen1" } } */
38 /* { dg-final { scan-tree-dump-times "strchr \\(" 0 "strlen1" } } */
39 /* { dg-final { scan-tree-dump-times "stpcpy \\(" 0 "strlen1" } } */