1  /* PR middle-end/80936 - bcmp, bcopy, and bzero not declared nonnull
       2     Verify that with optimization, -Wnonnull is issued for calls with
       3     non-constant arguments determined to be null.
       4     { dg-do compile }
       5     { dg-options "-O2 -Wall" } */
       6  
       7  #define NOIPA __attribute__ ((noipa))
       8  
       9  NOIPA void zero0 (void *p, unsigned n)
      10  {
      11    if (p == 0)
      12      __builtin_memset (p, 0, n);         // { dg-warning "\\\[-Wnonnull]" }
      13  }
      14  
      15  NOIPA void zero1 (void *p, unsigned n)
      16  {
      17    if (p == 0)
      18      __builtin_bzero (p, n);             // { dg-warning "\\\[-Wnonnull]" }
      19  }
      20  
      21  NOIPA void copy0 (void *p, const void *q, unsigned n)
      22  {
      23    if (p == 0)
      24      __builtin_memcpy (p, q, n);         // { dg-warning "\\\[-Wnonnull]" }
      25  }
      26  
      27  NOIPA void copy1 (void *p, const void *q, unsigned n)
      28  {
      29    if (q == 0)
      30      __builtin_memcpy (p, q, n);         // { dg-warning "\\\[-Wnonnull]" }
      31  }
      32  
      33  NOIPA void copy2 (void *p, const void *q, unsigned n)
      34  {
      35    if (p == 0)
      36      __builtin_bcopy (q, p, n);          // { dg-warning "\\\[-Wnonnull]" }
      37  }
      38  
      39  NOIPA void copy3 (void *p, const void *q, unsigned n)
      40  {
      41    if (q == 0)
      42      __builtin_bcopy (q, p, n);          // { dg-warning "\\\[-Wnonnull]" }
      43  }
      44  
      45  NOIPA int cmp0 (const void *p, const void *q, unsigned n)
      46  {
      47    if (p == 0)
      48      return __builtin_memcmp (p, q, n);  // { dg-warning "\\\[-Wnonnull]" }
      49    return 0;
      50  }
      51  
      52  NOIPA int cmp1 (const void *p, const void *q, unsigned n)
      53  {
      54    if (q == 0)
      55      return __builtin_memcmp (p, q, n);  // { dg-warning "\\\[-Wnonnull]" }
      56    return 0;
      57  }
      58  
      59  NOIPA int cmp2 (const void *p, const void *q, unsigned n)
      60  {
      61    if (p == 0)
      62      return __builtin_bcmp (p, q, n);    // { dg-warning "\\\[-Wnonnull]" }
      63    return 0;
      64  }
      65  
      66  NOIPA int cmp3 (const void *p, const void *q, unsigned n)
      67  {
      68    if (q == 0)
      69      return __builtin_bcmp (p, q, n);    // { dg-warning "\\\[-Wnonnull]" }
      70    return 0;
      71  }