Daniel Dunbar | d7d5f02 | 2009-03-24 02:24:46 +0000 | [diff] [blame] | 1 | // RUN: clang-cc -rewrite-objc -verify %s -o - |
Steve Naroff | 8c56515 | 2008-12-05 17:03:39 +0000 | [diff] [blame] | 2 | |
| 3 | int main() { |
| 4 | @try { |
Douglas Gregor | a316e7b | 2009-02-14 00:32:47 +0000 | [diff] [blame] | 5 | printf("executing try"); // expected-warning{{implicitly declaring C library function 'printf' with type 'int (char const *, ...)'}} \ |
| 6 | // expected-note{{please include the header <stdio.h> or explicitly provide a declaration for 'printf'}} |
Steve Naroff | 8c56515 | 2008-12-05 17:03:39 +0000 | [diff] [blame] | 7 | return(0); // expected-warning{{rewriter doesn't support user-specified control flow semantics for @try/@finally (code may not execute properly)}} |
| 8 | } @finally { |
| 9 | printf("executing finally"); |
| 10 | } |
| 11 | while (1) { |
| 12 | @try { |
| 13 | printf("executing try"); |
Steve Naroff | b85e77a | 2009-12-05 21:43:12 +0000 | [diff] [blame] | 14 | break; |
Steve Naroff | 8c56515 | 2008-12-05 17:03:39 +0000 | [diff] [blame] | 15 | } @finally { |
| 16 | printf("executing finally"); |
| 17 | } |
| 18 | printf("executing after finally block"); |
| 19 | } |
| 20 | @try { |
| 21 | printf("executing try"); |
| 22 | } @finally { |
| 23 | printf("executing finally"); |
| 24 | } |
| 25 | return 0; |
| 26 | } |
| 27 | |
Steve Naroff | b85e77a | 2009-12-05 21:43:12 +0000 | [diff] [blame] | 28 | void test_sync_with_implicit_finally() { |
| 29 | id foo; |
| 30 | @synchronized (foo) { |
| 31 | return; // The rewriter knows how to generate code for implicit finally |
| 32 | } |
| 33 | } |
| 34 | |
| 35 | void test2_try_with_implicit_finally() { |
| 36 | @try { |
| 37 | return; // The rewriter knows how to generate code for implicit finally |
| 38 | } @catch (id e) { |
| 39 | |
| 40 | } |
| 41 | } |
| 42 | |