| Artem Dergachev | bd880fe | 2018-07-31 19:39:37 +0000 | [diff] [blame] | 1 | // RUN: %clang_analyze_cc1 -analyzer-checker core,cplusplus -verify %s |
| 2 | |
| 3 | // expected-no-diagnostics |
| 4 | |
| Artem Dergachev | 3ccf14e | 2018-08-15 00:33:55 +0000 | [diff] [blame] | 5 | #define nil ((id)0) |
| 6 | |
| Artem Dergachev | bd880fe | 2018-07-31 19:39:37 +0000 | [diff] [blame] | 7 | // Stripped down unique_ptr<int> |
| 8 | struct IntPtr { |
| 9 | IntPtr(): i(new int) {} |
| 10 | IntPtr(IntPtr &&o): i(o.i) { o.i = nullptr; } |
| 11 | ~IntPtr() { delete i; } |
| 12 | |
| 13 | int *i; |
| 14 | }; |
| 15 | |
| 16 | @interface Foo {} |
| 17 | -(void) foo: (IntPtr)arg; |
| 18 | @end |
| 19 | |
| Artem Dergachev | 3ccf14e | 2018-08-15 00:33:55 +0000 | [diff] [blame] | 20 | void testArgumentRegionInvalidation(Foo *f) { |
| Artem Dergachev | bd880fe | 2018-07-31 19:39:37 +0000 | [diff] [blame] | 21 | IntPtr ptr; |
| 22 | int *i = ptr.i; |
| 23 | [f foo: static_cast<IntPtr &&>(ptr)]; |
| 24 | *i = 99; // no-warning |
| 25 | } |
| Artem Dergachev | 3ccf14e | 2018-08-15 00:33:55 +0000 | [diff] [blame] | 26 | |
| 27 | void testNilReceiverCleanup() { |
| 28 | [nil foo: IntPtr()]; |
| 29 | } |