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