/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-strlen" } */

void f (unsigned);

void f3 (void)
{
  char s[] = "1234";

  f (__builtin_strlen (s));
  f (__builtin_strlen (s));
  f (__builtin_strlen (s));
}

/* { dg-final { scan-tree-dump-times "strlen" 0 "strlen1" } } */