|
150
|
1 // RUN: %clang_cc1 -triple arm64-apple-ios11 -fobjc-arc -fblocks -fobjc-runtime=ios-11.0 -fsyntax-only -verify %s
|
|
|
2
|
|
|
3 typedef struct {
|
|
|
4 id a;
|
|
|
5 } Strong;
|
|
|
6
|
|
|
7 void callee_variadic(const char *, ...);
|
|
|
8
|
|
|
9 void test_variadic(void) {
|
|
|
10 Strong t;
|
|
|
11 callee_variadic("s", t); // expected-error {{cannot pass non-trivial C object of type 'Strong' by value to variadic function}}
|
|
|
12 }
|
|
|
13
|
|
|
14 void test_jump0(int cond) {
|
|
|
15 switch (cond) {
|
|
|
16 case 0:
|
|
|
17 ;
|
|
|
18 Strong x; // expected-note {{jump bypasses initialization of variable of non-trivial C struct type}}
|
|
|
19 break;
|
|
|
20 case 1: // expected-error {{cannot jump from switch statement to this case label}}
|
|
|
21 x.a = 0;
|
|
|
22 break;
|
|
|
23 }
|
|
|
24 }
|
|
|
25
|
|
|
26 void test_jump1(void) {
|
|
|
27 static void *ips[] = { &&L0 };
|
|
|
28 L0: // expected-note {{possible target of indirect goto}}
|
|
|
29 ;
|
|
|
30 Strong x; // expected-note {{jump exits scope of variable with non-trivial destructor}}
|
|
|
31 goto *ips; // expected-error {{cannot jump}}
|
|
|
32 }
|
|
|
33
|
|
|
34 typedef void (^BlockTy)(void);
|
|
|
35 void func(BlockTy);
|
|
|
36 void func2(Strong);
|
|
|
37
|
|
|
38 void test_block_scope0(int cond) {
|
|
|
39 Strong x; // expected-note {{jump enters lifetime of block which captures a C struct that is non-trivial to destroy}}
|
|
|
40 switch (cond) {
|
|
|
41 case 0:
|
|
|
42 func(^{ func2(x); });
|
|
|
43 break;
|
|
|
44 default: // expected-error {{cannot jump from switch statement to this case label}}
|
|
|
45 break;
|
|
|
46 }
|
|
|
47 }
|
|
|
48
|
|
|
49 void test_block_scope1(void) {
|
|
|
50 static void *ips[] = { &&L0 };
|
|
|
51 L0: // expected-note {{possible target of indirect goto}}
|
|
|
52 ;
|
|
|
53 Strong x; // expected-note {{jump exits scope of variable with non-trivial destructor}} expected-note {{jump exits lifetime of block which captures a C struct that is non-trivial to destroy}}
|
|
|
54 func(^{ func2(x); });
|
|
|
55 goto *ips; // expected-error {{cannot jump}}
|
|
|
56 }
|
|
173
|
57
|
|
|
58 void test_compound_literal0(int cond, id x) {
|
|
|
59 switch (cond) {
|
|
|
60 case 0:
|
|
|
61 (void)(Strong){ .a = x }; // expected-note {{jump enters lifetime of a compound literal that is non-trivial to destruct}}
|
|
|
62 break;
|
|
|
63 default: // expected-error {{cannot jump from switch statement to this case label}}
|
|
|
64 break;
|
|
|
65 }
|
|
|
66 }
|
|
|
67
|
|
|
68 void test_compound_literal1(id x) {
|
|
|
69 static void *ips[] = { &&L0 };
|
|
|
70 L0: // expected-note {{possible target of indirect goto}}
|
|
|
71 ;
|
|
|
72 (void)(Strong){ .a = x }; // expected-note {{jump exits lifetime of a compound literal that is non-trivial to destruct}}
|
|
|
73 goto *ips; // expected-error {{cannot jump}}
|
|
|
74 }
|
