1  /* PR tree-optimization/50613 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2 -fno-tree-ccp" } */
       4  
       5  #include "strlenopt.h"
       6  
       7  char buf[26];
       8  
       9  static inline void
      10  bar (char *__restrict dest, const char *__restrict src)
      11  {
      12    strcpy (dest, src);
      13  }
      14  
      15  void
      16  foo (char *p)
      17  {
      18    if (strlen (p) < 50)
      19      bar (buf, p);
      20  }