1  /* { dg-do compile } */
       2  /* { dg-options "-O" } */
       3  
       4  extern __inline __attribute__ ((__always_inline__)) __attribute__ ((__gnu_inline__)) __attribute__ ((__artificial__)) char * __attribute__ ((__nothrow__ , __leaf__))
       5  strcat (char *__restrict __dest, const char *__restrict __src)
       6  {
       7    return __builtin___strcat_chk (__dest, __src, __builtin_object_size (__dest, 2 > 1));
       8  }
       9  static char raw_decode;
      10  void foo (char **argv, char *outfilename)
      11  {
      12    if (**argv == 'r')
      13      raw_decode = 1;
      14    strcat (outfilename, raw_decode ? ".raw" : ".wav");
      15  }