1 // RUN: %clang_cc1 -fsyntax-only -verify %s
2 // RUN: %clang_cc1 -fsyntax-only -verify %s -fexperimental-new-constant-interpreter
3 struct S {
4 S(const char *) __attribute__((nonnull(2)));
5
6 static void f(const char*, const char*) __attribute__((nonnull(1)));
7
8 // GCC has a hidden 'this' argument in member functions, so the middle
9 // argument is the one that must not be null.
10 void g(const char*, const char*, const char*) __attribute__((nonnull(3)));
11
12 void h(const char*) __attribute__((nonnull(1))); // \
13 expected-error{{invalid for the implicit this argument}}
14 };
15
test()16 void test() {
17 S s(0); // expected-warning{{null passed}}
18
19 s.f(0, ""); // expected-warning{{null passed}}
20 s.f("", 0);
21 s.g("", 0, ""); // expected-warning{{null passed}}
22 s.g(0, "", 0);
23 }
24
25 namespace rdar8769025 {
26 __attribute__((nonnull)) void f0(int *&p);
27 __attribute__((nonnull)) void f1(int * const &p);
28 __attribute__((nonnull(2))) void f2(int i, int * const &p);
29
test_f1()30 void test_f1() {
31 f1(0); // expected-warning{{null passed to a callee that requires a non-null argument}}
32 f2(0, 0); // expected-warning{{null passed to a callee that requires a non-null argument}}
33 }
34 }
35
36 namespace test3 {
37 __attribute__((nonnull(1))) void f(void *ptr);
38
g()39 void g() {
40 f(static_cast<char*>((void*)0)); // expected-warning{{null passed}}
41 f(static_cast<char*>(0)); // expected-warning{{null passed}}
42 }
43 }
44
45 namespace test4 {
46 struct X {
47 bool operator!=(const void *) const __attribute__((nonnull(2)));
48 };
49 bool operator==(const X&, const void *) __attribute__((nonnull(2)));
50
test(const X & x)51 void test(const X& x) {
52 (void)(x == 0); // expected-warning{{null passed}}
53 (void)(x != 0); // expected-warning{{null passed}}
54 }
55 }
56
57 namespace test5 {
58
59 constexpr int c = 0;
60
61 __attribute__((nonnull))
f1(const int *,const int *)62 constexpr int f1(const int*, const int*) {
63 return 0;
64 }
65 constexpr int i1 = f1(&c, &c);
66 constexpr int i12 = f1(&c, 0); //expected-error {{constant expression}} expected-note {{null passed}}
67
f2(const int *,const int *)68 constexpr int f2(const int*, const int*) {
69 return 0;
70 }
71 constexpr int i2 = f2(0, 0);
72
73 __attribute__((nonnull(2)))
f3(const int *,const int *)74 constexpr int f3(const int*, const int*) {
75 return 0;
76 }
77 constexpr int i3 = f3(&c, 0); //expected-error {{constant expression}} expected-note {{null passed}}
78 constexpr int i32 = f3(0, &c);
79
80 __attribute__((nonnull(4))) __attribute__((nonnull)) //expected-error {{out of bounds}}
f4(const int *,const int *,int)81 constexpr int f4(const int*, const int*, int) {
82 return 0;
83 }
84 constexpr int i4 = f4(&c, 0, 0); //expected-error {{constant expression}} expected-note {{null passed}}
85 constexpr int i42 = f4(0, &c, 1); //expected-error {{constant expression}} expected-note {{null passed}}
86 constexpr int i43 = f4(&c, &c, 0);
87
88 }
89