gcc/testsuite/gcc.dg/Wnonnull-2.c

   1 /* PR middle-end/80936 - bcmp, bcopy, and bzero not declared nonnull
   2    Verify that -Wnonnull is issued for calls with constant null pointers
   3    with no optimization.
   4    { dg-do compile }
   5    { dg-options "-O0 -Wall" } */
   6
   7 void zero0 (void *p, unsigned n)
   8 {
   9   __builtin_memset (0, 0, n);           // { dg-warning "\\\[-Wnonnull]" }
  10 }
  11
  12 void zero1 (void *p, unsigned n)
  13 {
  14   __builtin_bzero (0, n);               // { dg-warning "\\\[-Wnonnull]" }
  15 }
  16
  17 void copy0 (void *p, const void *q, unsigned n)
  18 {
  19   __builtin_memcpy (0, q, n);           // { dg-warning "\\\[-Wnonnull]" }
  20 }
  21
  22 void copy1 (void *p, const void *q, unsigned n)
  23 {
  24   __builtin_memcpy (0, q, n);           // { dg-warning "\\\[-Wnonnull]" }
  25 }
  26
  27 void copy2 (void *p, const void *q, unsigned n)
  28 {
  29   __builtin_bcopy (q, 0, n);            // { dg-warning "\\\[-Wnonnull]" }
  30 }
  31
  32 void copy3 (void *p, const void *q, unsigned n)
  33 {
  34   __builtin_bcopy (q, 0, n);            // { dg-warning "\\\[-Wnonnull]" }
  35 }
  36
  37 int cmp0 (const void *p, const void *q, unsigned n)
  38 {
  39   return __builtin_memcmp (0, q, n);    // { dg-warning "\\\[-Wnonnull]" }
  40 }
  41
  42 int cmp1 (const void *p, const void *q, unsigned n)
  43 {
  44   return __builtin_memcmp (0, q, n);    // { dg-warning "\\\[-Wnonnull]" }
  45 }
  46
  47 int cmp2 (const void *p, const void *q, unsigned n)
  48 {
  49   return __builtin_bcmp (0, q, n);      // { dg-warning "\\\[-Wnonnull]" }
  50 }
  51
  52 int cmp3 (const void *p, const void *q, unsigned n)
  53 {
  54   return __builtin_bcmp (p, 0, n);      // { dg-warning "\\\[-Wnonnull]" }
  55 }