| Daniel Dunbar | a572887 | 2009-12-15 20:14:24 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -triple x86_64-unknown-unknown %s -fsyntax-only -verify |
| 2 | // RUN: %clang_cc1 -triple i686-unknown-unknown %s -fsyntax-only -verify |
| Douglas Gregor | ac72d40 | 2008-12-01 17:31:21 +0000 | [diff] [blame] | 3 | |
| 4 | void 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]; |
| Anders Carlsson | 3f70456 | 2008-12-21 22:39:40 +0000 | [diff] [blame] | 11 | |
| 12 | // Verify that null is evaluated as 0. |
| 13 | int b[__null ? -1 : 1]; |
| Douglas Gregor | ac72d40 | 2008-12-01 17:31:21 +0000 | [diff] [blame] | 14 | } |
| Chandler Carruth | 82214a8 | 2011-02-18 23:54:50 +0000 | [diff] [blame^] | 15 | |
| 16 | struct A {}; |
| 17 | |
| 18 | void 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 | } |