Douglas Gregor | dd8f569 | 2010-03-10 04:54:39 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 %s -fsyntax-only -fblocks -verify -Wno-unreachable-code |
Chris Lattner | a119a3b | 2009-02-18 04:38:20 +0000 | [diff] [blame] | 2 | |
| 3 | // rdar://6597252 |
Chris Lattner | 6080008 | 2009-02-18 17:49:48 +0000 | [diff] [blame] | 4 | Class test1(Class X) { |
Chris Lattner | a119a3b | 2009-02-18 04:38:20 +0000 | [diff] [blame] | 5 | return 1 ? X : X; |
| 6 | } |
| 7 | |
Chris Lattner | 6080008 | 2009-02-18 17:49:48 +0000 | [diff] [blame] | 8 | |
| 9 | // rdar://6079877 |
| 10 | void test2() { |
| 11 | id str = @"foo" |
Ted Kremenek | db9e9e6 | 2011-03-15 21:18:52 +0000 | [diff] [blame] | 12 | "bar\0" // no-warning |
Chris Lattner | 6080008 | 2009-02-18 17:49:48 +0000 | [diff] [blame] | 13 | @"baz" " blarg"; |
| 14 | id str2 = @"foo" |
| 15 | "bar" |
| 16 | @"baz" |
Ted Kremenek | db9e9e6 | 2011-03-15 21:18:52 +0000 | [diff] [blame] | 17 | " b\0larg"; // no-warning |
Chris Lattner | 95f49fb | 2009-04-03 21:11:28 +0000 | [diff] [blame] | 18 | |
Chris Lattner | 6080008 | 2009-02-18 17:49:48 +0000 | [diff] [blame] | 19 | |
Chris Lattner | 95f49fb | 2009-04-03 21:11:28 +0000 | [diff] [blame] | 20 | if (@encode(int) == "foo") { } // expected-warning {{result of comparison against @encode is unspecified}} |
Daniel Dunbar | d7d5f02 | 2009-03-24 02:24:46 +0000 | [diff] [blame] | 21 | } |
Douglas Gregor | dd8f569 | 2010-03-10 04:54:39 +0000 | [diff] [blame] | 22 | |
| 23 | #define MAX(A,B) ({ __typeof__(A) __a = (A); __typeof__(B) __b = (B); __a < __b ? __b : __a; }) |
| 24 | void (^foo)(int, int) = ^(int x, int y) { int z = MAX(x, y); }; |
Chris Lattner | dd5fa7a | 2010-09-17 21:12:38 +0000 | [diff] [blame] | 25 | |
| 26 | |
| 27 | |
| 28 | // rdar://8445858 |
| 29 | @class Object; |
| 30 | static Object *g; |
| 31 | void test3(Object *o) { |
| 32 | // this is ok. |
| 33 | __sync_bool_compare_and_swap(&g, 0, o); |
| 34 | } |
Argyrios Kyrtzidis | 3b5904b | 2011-05-14 20:32:39 +0000 | [diff] [blame] | 35 | |
| 36 | @class Incomplete_ObjC_class; |
| 37 | struct Incomplete_struct; // expected-note {{forward declaration}} |
| 38 | |
| 39 | void test_encode() { |
| 40 | (void)@encode(Incomplete_ObjC_class); // expected-error {{incomplete type}} |
| 41 | (void)@encode(struct Incomplete_struct); // expected-error {{incomplete type}} |
| 42 | (void)@encode(Incomplete_ObjC_class*); |
| 43 | (void)@encode(id); |
| 44 | } |