Ted Kremenek | 033a07e | 2011-08-03 23:14:55 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -analyze -analyzer-checker=core,experimental.core -analyzer-constraints=basic -analyzer-store=region %s -verify |
Ted Kremenek | 98f1e1c | 2009-02-19 04:07:38 +0000 | [diff] [blame] | 2 | |
| 3 | typedef struct Foo { int x; } Bar; |
| 4 | |
| 5 | @interface MyClass {} |
| 6 | - (Bar)foo; |
| 7 | @end |
| 8 | @implementation MyClass |
| 9 | - (Bar)foo { |
| 10 | struct Foo f = { 0 }; |
| 11 | return f; |
| 12 | } |
| 13 | @end |
| 14 | |
| 15 | void createFoo() { |
| 16 | MyClass *obj = 0; |
Ted Kremenek | 4a037c7 | 2011-10-28 19:05:10 +0000 | [diff] [blame^] | 17 | Bar f = [obj foo]; // no-warning |
Ted Kremenek | 98f1e1c | 2009-02-19 04:07:38 +0000 | [diff] [blame] | 18 | } |
| 19 | |
Ted Kremenek | b930d7a | 2009-04-01 06:52:48 +0000 | [diff] [blame] | 20 | void createFoo2() { |
| 21 | MyClass *obj = 0; |
| 22 | [obj foo]; // no-warning |
Ted Kremenek | 4a037c7 | 2011-10-28 19:05:10 +0000 | [diff] [blame^] | 23 | Bar f = [obj foo]; // no-warning |
Ted Kremenek | b930d7a | 2009-04-01 06:52:48 +0000 | [diff] [blame] | 24 | } |
| 25 | |