1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-strlen" } */
3 
4 void f (unsigned);
5 
f3(void)6 void f3 (void)
7 {
8   char s[] = "1234";
9 
10   f (__builtin_strlen (s));
11   f (__builtin_strlen (s));
12   f (__builtin_strlen (s));
13 }
14 
15 /* { dg-final { scan-tree-dump-times "strlen" 0 "strlen" } } */
16