1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-strlen" } */
3 
4 char a[4];
5 
f(void)6 void f (void)
7 {
8   __builtin_strcpy (a, "abc");
9 
10   if (__builtin_strlen (a) != 3)
11     __builtin_abort ();
12 }
13 
14 /* { dg-final { scan-tree-dump-not "__builtin_strlen" "strlen" } } */
15