| Douglas Gregor | 813a066 | 2015-06-19 18:14:38 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fobjc-arc -fobjc-runtime-has-weak -Wnullable-to-nonnull-conversion %s -verify |
| 2 | |
| 3 | |
| 4 | // rdar://19985330 |
| 5 | @interface NSObject @end |
| 6 | |
| 7 | @class NSFoo; |
| Douglas Gregor | aea7afd | 2015-06-24 22:02:08 +0000 | [diff] [blame^] | 8 | void foo (NSFoo * _Nonnull); |
| Douglas Gregor | 813a066 | 2015-06-19 18:14:38 +0000 | [diff] [blame] | 9 | |
| 10 | @interface NSBar : NSObject |
| 11 | @property(weak) NSFoo *property1; |
| 12 | @end |
| 13 | |
| 14 | @implementation NSBar |
| 15 | - (void) Meth { |
| Douglas Gregor | aea7afd | 2015-06-24 22:02:08 +0000 | [diff] [blame^] | 16 | foo (self.property1); // expected-warning {{implicit conversion from nullable pointer 'NSFoo * _Nullable' to non-nullable pointer type 'NSFoo * _Nonnull'}} |
| Douglas Gregor | 813a066 | 2015-06-19 18:14:38 +0000 | [diff] [blame] | 17 | } |
| 18 | @end |