1  /* PR tree-optimization/83456 - -Wrestrict false positive on
       2     a non-overlapping memcpy in an inline function
       3     { dg-do compile }
       4     { dg-options "-O2 -Wrestrict -ftrack-macro-expansion=0" }  */
       5  
       6  extern void* memcpy (void*, const void*, __SIZE_TYPE__);
       7  
       8  /* Test case from comment #0.  */
       9  
      10  inline void pr83456_comment0 (void *d, void *s, unsigned N)
      11  {
      12    if (s != d)
      13      memcpy (d, s, N);
      14  }
      15  
      16  void call_pr83456_comment0 (void* src)
      17  {
      18    pr83456_comment0 (src, src, 1);
      19  }
      20  
      21  
      22  /* Test case from comment #1.  */
      23  
      24  char a[4];
      25  
      26  void pr83456_comment1 (unsigned n)
      27  {
      28    for (int i = 0; i < 1; i++)
      29      {
      30        if (!i)
      31  	continue;
      32  
      33        memcpy (a, a, n);
      34      }
      35  }
      36  
      37  /* Test case from comment #2.  */
      38  
      39  struct netdevice {
      40    void *priv;
      41  };
      42  
      43  struct ip_tunnel {
      44    struct netdevice *dev;
      45    int ip6rd[3];
      46  };
      47  
      48  struct sit_net {
      49    struct netdevice *fb_tunnel_dev;
      50  };
      51  
      52  void ipip6_tunnel_clone_6rd (struct netdevice *dev, struct sit_net *sitn)
      53  {
      54    struct ip_tunnel *t = dev->priv;
      55    if (t->dev == sitn->fb_tunnel_dev)
      56      return;
      57  
      58    struct ip_tunnel *t0 = sitn->fb_tunnel_dev->priv;
      59    memcpy(&t->ip6rd, &t0->ip6rd, sizeof(t->ip6rd));
      60  }
      61  
      62  void sit_init_net (struct sit_net *sitn, struct netdevice *fb_tunnel_dev)
      63  {
      64    sitn->fb_tunnel_dev = fb_tunnel_dev;
      65    ipip6_tunnel_clone_6rd (sitn->fb_tunnel_dev, sitn);
      66  }