| Ted Kremenek | 8382cf5 | 2009-11-13 18:46:29 +0000 | [diff] [blame] | 1 | // RUN: clang-cc -analyze -analyzer-experimental-internal-checks -checker-cfref -analyzer-constraints=basic -analyzer-store=basic %s -verify |
| 2 | // RUN: clang-cc -analyze -analyzer-experimental-internal-checks -checker-cfref -analyzer-constraints=basic -analyzer-store=region %s -verify |
| Ted Kremenek | 98f1e1c | 2009-02-19 04:07:38 +0000 | [diff] [blame] | 3 | |
| 4 | typedef struct Foo { int x; } Bar; |
| 5 | |
| 6 | @interface MyClass {} |
| 7 | - (Bar)foo; |
| 8 | @end |
| 9 | @implementation MyClass |
| 10 | - (Bar)foo { |
| 11 | struct Foo f = { 0 }; |
| 12 | return f; |
| 13 | } |
| 14 | @end |
| 15 | |
| 16 | void createFoo() { |
| 17 | MyClass *obj = 0; |
| 18 | Bar f = [obj foo]; // expected-warning{{The receiver in the message expression is 'nil' and results in the returned value (of type 'Bar') to be garbage or otherwise undefined.}} |
| 19 | } |
| 20 | |
| Ted Kremenek | b930d7a | 2009-04-01 06:52:48 +0000 | [diff] [blame] | 21 | void createFoo2() { |
| 22 | MyClass *obj = 0; |
| 23 | [obj foo]; // no-warning |
| 24 | Bar f = [obj foo]; // expected-warning{{The receiver in the message expression is 'nil' and results in the returned value (of type 'Bar') to be garbage or otherwise undefined.}} |
| 25 | } |
| 26 | |