1  /* PR target/88809 */
       2  /* { dg-options "-O" } */
       3  
       4  unsigned int foo (const char *ptr)
       5  {
       6    return __builtin_strlen (ptr);
       7  }
       8  
       9  /* { dg-final { scan-assembler "call\[ \t\]_?strlen" } } */