1 /* { dg-do run } */
2 /* { dg-options "-O2 -fdump-tree-optimized" } */
3 
4 __attribute__ ((noinline)) int
f1(void)5 f1 (void)
6 {
7   char *s0= "abcd";
8   char s[8];
9   __builtin_strcpy (s, s0);
10   return __builtin_strcmp (s, "abc") != 0;
11 }
12 
13 __attribute__ ((noinline)) int
f2(void)14 f2 (void)
15 {
16   char *s0 = "ab";
17   char s[8];
18   __builtin_strcpy (s, s0);
19   return __builtin_strcmp ("abc", s) != 0;
20 }
21 
main(void)22 int main (void)
23 {
24   if (f1 () != 1
25       || f2 () != 1)
26     __builtin_abort ();
27 
28   return 0;
29 }
30 
31 /* { dg-final { scan-tree-dump-times "strcmp" 0 "optimized" } } */
32