blob: 547c936c3e558fd2108f677af3e7e8aee23150c0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
|
// RUN: %clang_cc1 -fsyntax-only -fblocks -verify %s
#include <stddef.h>
void f() {
int a;
bool b;
a = 0 ? NULL + a : a + NULL; // expected-warning 2{{use of NULL in arithmetic operation}}
a = 0 ? NULL - a : a - NULL; // expected-warning 2{{use of NULL in arithmetic operation}}
a = 0 ? NULL / a : a / NULL; // expected-warning 2{{use of NULL in arithmetic operation}} \
// expected-warning {{division by zero is undefined}}
a = 0 ? NULL * a : a * NULL; // expected-warning 2{{use of NULL in arithmetic operation}}
a = 0 ? NULL >> a : a >> NULL; // expected-warning 2{{use of NULL in arithmetic operation}}
a = 0 ? NULL << a : a << NULL; // expected-warning 2{{use of NULL in arithmetic operation}}
a = 0 ? NULL % a : a % NULL; // expected-warning 2{{use of NULL in arithmetic operation}} \
expected-warning {{remainder by zero is undefined}}
a = 0 ? NULL & a : a & NULL; // expected-warning 2{{use of NULL in arithmetic operation}}
a = 0 ? NULL | a : a | NULL; // expected-warning 2{{use of NULL in arithmetic operation}}
a = 0 ? NULL ^ a : a ^ NULL; // expected-warning 2{{use of NULL in arithmetic operation}}
// Using two NULLs should only give one error instead of two.
a = NULL + NULL; // expected-warning{{use of NULL in arithmetic operation}}
a = NULL - NULL; // expected-warning{{use of NULL in arithmetic operation}}
a = NULL / NULL; // expected-warning{{use of NULL in arithmetic operation}} \
// expected-warning{{division by zero is undefined}}
a = NULL * NULL; // expected-warning{{use of NULL in arithmetic operation}}
a = NULL >> NULL; // expected-warning{{use of NULL in arithmetic operation}}
a = NULL << NULL; // expected-warning{{use of NULL in arithmetic operation}}
a = NULL % NULL; // expected-warning{{use of NULL in arithmetic operation}} \
// expected-warning{{remainder by zero is undefined}}
a = NULL & NULL; // expected-warning{{use of NULL in arithmetic operation}}
a = NULL | NULL; // expected-warning{{use of NULL in arithmetic operation}}
a = NULL ^ NULL; // expected-warning{{use of NULL in arithmetic operation}}
a += NULL; // expected-warning{{use of NULL in arithmetic operation}}
a -= NULL; // expected-warning{{use of NULL in arithmetic operation}}
a /= NULL; // expected-warning{{use of NULL in arithmetic operation}} \
// expected-warning{{division by zero is undefined}}
a *= NULL; // expected-warning{{use of NULL in arithmetic operation}}
a >>= NULL; // expected-warning{{use of NULL in arithmetic operation}}
a <<= NULL; // expected-warning{{use of NULL in arithmetic operation}}
a %= NULL; // expected-warning{{use of NULL in arithmetic operation}} \
// expected-warning{{remainder by zero is undefined}}
a &= NULL; // expected-warning{{use of NULL in arithmetic operation}}
a |= NULL; // expected-warning{{use of NULL in arithmetic operation}}
a ^= NULL; // expected-warning{{use of NULL in arithmetic operation}}
b = a < NULL || NULL < a; // expected-warning 2{{use of NULL in arithmetic operation}}
b = a > NULL || NULL > a; // expected-warning 2{{use of NULL in arithmetic operation}}
b = a <= NULL || NULL <= a; // expected-warning 2{{use of NULL in arithmetic operation}}
b = a >= NULL || NULL >= a; // expected-warning 2{{use of NULL in arithmetic operation}}
b = a == NULL || NULL == a; // expected-warning 2{{use of NULL in arithmetic operation}}
b = a != NULL || NULL != a; // expected-warning 2{{use of NULL in arithmetic operation}}
b = &a < NULL || NULL < &a || &a > NULL || NULL > &a;
b = &a <= NULL || NULL <= &a || &a >= NULL || NULL >= &a;
b = &a == NULL || NULL == &a || &a != NULL || NULL != &a;
b = 0 == a;
b = 0 == &a;
b = ((NULL)) != a; // expected-warning{{use of NULL in arithmetic operation}}
void (^c)();
b = c == NULL || NULL == c || c != NULL || NULL != c;
class X;
void (X::*d) ();
b = d == NULL || NULL == d || d != NULL || NULL != d;
}
|
