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