1// RUN: %clang_cc1 -triple x86_64-unknown-unknown %s -Wno-null-conversion -fsyntax-only -verify
2// RUN: %clang_cc1 -triple i686-unknown-unknown %s -Wno-null-conversion -fsyntax-only -verify
3
4void f() {
5  int* i = __null;
6  i = __null;
7  int i2 = __null;
8
9  // Verify statically that __null is the right size
10  int a[sizeof(typeof(__null)) == sizeof(void*)? 1 : -1];
11
12  // Verify that null is evaluated as 0.
13  int b[__null ? -1 : 1];
14}
15
16struct A {};
17
18void g() {
19  (void)(0 ? __null : A()); // expected-error {{non-pointer operand type 'A' incompatible with NULL}}
20  (void)(0 ? A(): __null); // expected-error {{non-pointer operand type 'A' incompatible with NULL}}
21}
22