1  /* PR tree-optimization/57230 */
       2  /* { dg-do run } */
       3  /* { dg-options "-O2 -fdump-tree-strlen" } */
       4  
       5  #include "strlenopt.h"
       6  
       7  int
       8  main ()
       9  {
      10    char p[] = "hello world";
      11    if (strlen (p) != 11)
      12      abort ();
      13    return 0;
      14  }
      15  
      16  /* { dg-final { scan-tree-dump-times "strlen \\(" 0 "strlen1" } } */