1  /* { dg-do compile } */
       2  /* { dg-options "-O -fno-tree-forwprop -fdump-tree-fre1" } */
       3  
       4  const int a[]={1,2,3};
       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" } } */