1 /* { dg-do compile } */
2 /* { dg-options "-O -fno-tree-forwprop -fdump-tree-fre1" } */
3 
4 const int a[]={1,2,3};
f()5 int f(){
6     int*b=__builtin_malloc(12);
7     __builtin_memcpy(b,a,12);
8     return b[0];
9 }
10 
11 /* { dg-final { scan-tree-dump "return 1;" "fre1" } } */
12