1 /* { dg-do compile } */ 2 /* { dg-options "-O2 -fdump-tree-strlen" } */ 3 4 void f (unsigned); 5 f3(void)6void 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