annotate clang/test/Rewriter/finally.m @ 236:c4bab56944e8 llvm-original

LLVM 16
author kono
date Wed, 09 Nov 2022 17:45:10 +0900
parents 1d019706d866
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: %clang_cc1 -rewrite-objc -fobjc-runtime=macosx-fragile-10.5 -fobjc-exceptions -verify %s -o -
anatofuz
parents:
diff changeset
2
236
c4bab56944e8 LLVM 16
kono
parents: 150
diff changeset
3 extern int printf(const char *, ...);
c4bab56944e8 LLVM 16
kono
parents: 150
diff changeset
4
c4bab56944e8 LLVM 16
kono
parents: 150
diff changeset
5 int main(void) {
150
anatofuz
parents:
diff changeset
6 @try {
236
c4bab56944e8 LLVM 16
kono
parents: 150
diff changeset
7 printf("executing try");
150
anatofuz
parents:
diff changeset
8 return(0); // expected-warning{{rewriter doesn't support user-specified control flow semantics for @try/@finally (code may not execute properly)}}
anatofuz
parents:
diff changeset
9 } @finally {
anatofuz
parents:
diff changeset
10 printf("executing finally");
anatofuz
parents:
diff changeset
11 }
anatofuz
parents:
diff changeset
12 while (1) {
anatofuz
parents:
diff changeset
13 @try {
anatofuz
parents:
diff changeset
14 printf("executing try");
anatofuz
parents:
diff changeset
15 break;
anatofuz
parents:
diff changeset
16 } @finally {
anatofuz
parents:
diff changeset
17 printf("executing finally");
anatofuz
parents:
diff changeset
18 }
anatofuz
parents:
diff changeset
19 printf("executing after finally block");
anatofuz
parents:
diff changeset
20 }
anatofuz
parents:
diff changeset
21 @try {
anatofuz
parents:
diff changeset
22 printf("executing try");
anatofuz
parents:
diff changeset
23 } @finally {
anatofuz
parents:
diff changeset
24 printf("executing finally");
anatofuz
parents:
diff changeset
25 }
anatofuz
parents:
diff changeset
26 return 0;
anatofuz
parents:
diff changeset
27 }
anatofuz
parents:
diff changeset
28
236
c4bab56944e8 LLVM 16
kono
parents: 150
diff changeset
29 void test_sync_with_implicit_finally(void) {
150
anatofuz
parents:
diff changeset
30 id foo;
anatofuz
parents:
diff changeset
31 @synchronized (foo) {
anatofuz
parents:
diff changeset
32 return; // The rewriter knows how to generate code for implicit finally
anatofuz
parents:
diff changeset
33 }
anatofuz
parents:
diff changeset
34 }
anatofuz
parents:
diff changeset
35
236
c4bab56944e8 LLVM 16
kono
parents: 150
diff changeset
36 void test2_try_with_implicit_finally(void) {
150
anatofuz
parents:
diff changeset
37 @try {
anatofuz
parents:
diff changeset
38 return; // The rewriter knows how to generate code for implicit finally
anatofuz
parents:
diff changeset
39 } @catch (id e) {
anatofuz
parents:
diff changeset
40
anatofuz
parents:
diff changeset
41 }
anatofuz
parents:
diff changeset
42 }
anatofuz
parents:
diff changeset
43