1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-fre1" } */
       3  
       4  unsigned int foo(unsigned int x, int *p)
       5  {
       6    unsigned int src = x;
       7    unsigned int dst;
       8    *p = sizeof (unsigned int);
       9    __builtin___memcpy_chk (&dst, &src, *p, 16);
      10    return dst;
      11  }
      12  
      13  /* { dg-final { scan-tree-dump "return x" "fre1" } } */