clang/test/SemaCXX/null_in_arithmetic_ops.cpp

   1 // RUN: %clang_cc1 -triple x86_64-unknown-unknown -fsyntax-only -fblocks -Wnull-arithmetic -verify -Wno-string-plus-int -Wno-tautological-pointer-compare %s
   2 #include <stddef.h>
   3
   4 void f() {
   5   int a;
   6   bool b;
   7   void (^c)();
   8   class X;
   9   void (X::*d) ();
  10   extern void e();
  11   int f[2];
  12   const void *v;
  13
  14   a = 0 ? NULL + a : a + NULL; // expected-warning 2{{use of NULL in arithmetic operation}}
  15   a = 0 ? NULL - a : a - NULL; // expected-warning 2{{use of NULL in arithmetic operation}}
  16   a = 0 ? NULL / a : a / NULL; // expected-warning 2{{use of NULL in arithmetic operation}} \
  17                                // expected-warning {{division by zero is undefined}}
  18   a = 0 ? NULL * a : a * NULL; // expected-warning 2{{use of NULL in arithmetic operation}}
  19   a = 0 ? NULL >> a : a >> NULL; // expected-warning 2{{use of NULL in arithmetic operation}}
  20   a = 0 ? NULL << a : a << NULL; // expected-warning 2{{use of NULL in arithmetic operation}}
  21   a = 0 ? NULL % a : a % NULL; // expected-warning 2{{use of NULL in arithmetic operation}} \
  22                                   expected-warning {{remainder by zero is undefined}}
  23   a = 0 ? NULL & a : a & NULL; // expected-warning 2{{use of NULL in arithmetic operation}}
  24   a = 0 ? NULL | a : a | NULL; // expected-warning 2{{use of NULL in arithmetic operation}}
  25   a = 0 ? NULL ^ a : a ^ NULL; // expected-warning 2{{use of NULL in arithmetic operation}}
  26
  27   // Check for warnings or errors when doing arithmetic on pointers and other
  28   // types.
  29   v = 0 ? NULL + &a : &a + NULL; // expected-warning 2{{use of NULL in arithmetic operation}}
  30   v = 0 ? NULL + c : c + NULL; // \
  31     expected-error {{invalid operands to binary expression ('long' and 'void (^)()')}} \
  32     expected-error {{invalid operands to binary expression ('void (^)()' and 'long')}}
  33   v = 0 ? NULL + d : d + NULL; // \
  34     expected-error {{invalid operands to binary expression ('long' and 'void (X::*)()')}} \
  35     expected-error {{invalid operands to binary expression ('void (X::*)()' and 'long')}}
  36   v = 0 ? NULL + e : e + NULL; // expected-error 2{{arithmetic on a pointer to the function type 'void ()'}}
  37   v = 0 ? NULL + f : f + NULL; // expected-warning 2{{use of NULL in arithmetic operation}}
  38   v = 0 ? NULL + "f" : "f" + NULL; // expected-warning 2{{use of NULL in arithmetic operation}}
  39
  40   // Using two NULLs should only give one error instead of two.
  41   a = NULL + NULL; // expected-warning{{use of NULL in arithmetic operation}}
  42   a = NULL - NULL; // expected-warning{{use of NULL in arithmetic operation}}
  43   a = NULL / NULL; // expected-warning{{use of NULL in arithmetic operation}} \
  44                    // expected-warning{{division by zero is undefined}}
  45   a = NULL * NULL; // expected-warning{{use of NULL in arithmetic operation}}
  46   a = NULL >> NULL; // expected-warning{{use of NULL in arithmetic operation}}
  47   a = NULL << NULL; // expected-warning{{use of NULL in arithmetic operation}}
  48   a = NULL % NULL; // expected-warning{{use of NULL in arithmetic operation}} \
  49                    // expected-warning{{remainder by zero is undefined}}
  50   a = NULL & NULL; // expected-warning{{use of NULL in arithmetic operation}}
  51   a = NULL | NULL; // expected-warning{{use of NULL in arithmetic operation}}
  52   a = NULL ^ NULL; // expected-warning{{use of NULL in arithmetic operation}}
  53
  54   a += NULL; // expected-warning{{use of NULL in arithmetic operation}}
  55   a -= NULL; // expected-warning{{use of NULL in arithmetic operation}}
  56   a /= NULL; // expected-warning{{use of NULL in arithmetic operation}} \
  57              // expected-warning{{division by zero is undefined}}
  58   a *= NULL; // expected-warning{{use of NULL in arithmetic operation}}
  59   a >>= NULL; // expected-warning{{use of NULL in arithmetic operation}}
  60   a <<= NULL; // expected-warning{{use of NULL in arithmetic operation}}
  61   a %= NULL; // expected-warning{{use of NULL in arithmetic operation}} \
  62              // expected-warning{{remainder by zero is undefined}}
  63   a &= NULL; // expected-warning{{use of NULL in arithmetic operation}}
  64   a |= NULL; // expected-warning{{use of NULL in arithmetic operation}}
  65   a ^= NULL; // expected-warning{{use of NULL in arithmetic operation}}
  66
  67   b = a < NULL || a > NULL; // expected-warning 2{{comparison between NULL and non-pointer ('int' and NULL)}}
  68   b = NULL < a || NULL > a; // expected-warning 2{{comparison between NULL and non-pointer (NULL and 'int')}}
  69   b = a <= NULL || a >= NULL; // expected-warning 2{{comparison between NULL and non-pointer ('int' and NULL)}}
  70   b = NULL <= a || NULL >= a; // expected-warning 2{{comparison between NULL and non-pointer (NULL and 'int')}}
  71   b = a == NULL || a != NULL; // expected-warning 2{{comparison between NULL and non-pointer ('int' and NULL)}}
  72   b = NULL == a || NULL != a; // expected-warning 2{{comparison between NULL and non-pointer (NULL and 'int')}}
  73
  74   b = &a < NULL || NULL < &a || &a > NULL || NULL > &a; // expected-error 4{{ordered comparison between pointer and zero}}
  75   b = &a <= NULL || NULL <= &a || &a >= NULL || NULL >= &a; // expected-error 4{{ordered comparison between pointer and zero}}
  76   b = &a == NULL || NULL == &a || &a != NULL || NULL != &a;
  77
  78   b = 0 == a;
  79   b = 0 == &a;
  80
  81   b = NULL < NULL || NULL > NULL;
  82   b = NULL <= NULL || NULL >= NULL;
  83   b = NULL == NULL || NULL != NULL;
  84
  85   b = ((NULL)) != a;  // expected-warning{{comparison between NULL and non-pointer (NULL and 'int')}}
  86
  87   // Check that even non-standard pointers don't warn.
  88   b = c == NULL || NULL == c || c != NULL || NULL != c;
  89   b = d == NULL || NULL == d || d != NULL || NULL != d;
  90   b = e == NULL || NULL == e || e != NULL || NULL != e;
  91   b = f == NULL || NULL == f || f != NULL || NULL != f;
  92   b = "f" == NULL || NULL == "f" || "f" != NULL || NULL != "f";
  93
  94   return NULL; // expected-error{{void function 'f' should not return a value}}
  95 }