| 1 | // RUN: %clang_analyze_cc1 -triple i386-apple-darwin8 -analyzer-checker=core,alpha.core -analyzer-store=region -verify -Wno-objc-root-class %s |
|---|
| 2 | |
|---|
| 3 | // <rdar://problem/6888289> - This test case shows that a nil instance |
|---|
| 4 | // variable can possibly be initialized by a method. |
|---|
| 5 | @interface RDar6888289 |
|---|
| 6 | { |
|---|
| 7 | id *x; |
|---|
| 8 | } |
|---|
| 9 | - (void) test:(id) y; |
|---|
| 10 | - (void) test2:(id) y; |
|---|
| 11 | - (void) invalidate; |
|---|
| 12 | @end |
|---|
| 13 | |
|---|
| 14 | id *getVal(void); |
|---|
| 15 | |
|---|
| 16 | @implementation RDar6888289 |
|---|
| 17 | - (void) test:(id)y { |
|---|
| 18 | if (!x) |
|---|
| 19 | [self invalidate]; |
|---|
| 20 | *x = y; |
|---|
| 21 | } |
|---|
| 22 | - (void) test2:(id)y { |
|---|
| 23 | if (!x) {} |
|---|
| 24 | *x = y; // expected-warning {{null}} |
|---|
| 25 | } |
|---|
| 26 | |
|---|
| 27 | - (void) invalidate { |
|---|
| 28 | x = getVal(); |
|---|
| 29 | } |
|---|
| 30 | |
|---|
| 31 | @end |
|---|
| 32 | |
|---|
| 33 | |
|---|