1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
// RUN: not %target-swift-frontend %s -verify -emit-sil -o /dev/null 2>&1 | %FileCheck %s
// RUN: not %target-swift-frontend %s -verify -DFIRST -verify-additional-prefix first- -DFIRST -emit-sil -o /dev/null 2>&1 | %FileCheck -check-prefix=FIRST %s
// RUN: not %target-swift-frontend %s -verify -DSECOND -verify-additional-prefix second- -DSECOND -emit-sil -o /dev/null 2>&1 | %FileCheck -check-prefix=SECOND %s
// RUN: not %target-swift-frontend %s -verify -DBOTH -verify-additional-prefix first- -verify-additional-prefix second- -DFIRST -DSECOND -emit-sil -o /dev/null 2>&1 | %FileCheck -check-prefix=BOTH %s
func test() {
// CHECK-NOT: initialization of immutable value 'normal'
// FIRST-NOT: initialization of immutable value 'normal'
// SECOND-NOT: initialization of immutable value 'normal'
// BOTH-NOT: initialization of immutable value 'normal'
let normal = 5 // expected-warning {{initialization of immutable value 'normal'}}
// CHECK: initialization of immutable value 'first'
// FIRST-NOT: initialization of immutable value 'first'
// SECOND: initialization of immutable value 'first'
// BOTH-NOT: initialization of immutable value 'first'
let first = 5 // expected-first-warning {{initialization of immutable value 'first'}}
// CHECK: initialization of immutable value 'second'
// FIRST: initialization of immutable value 'second'
// SECOND-NOT: initialization of immutable value 'second'
// BOTH-NOT: initialization of immutable value 'second'
let second = 5 // expected-second-warning {{initialization of immutable value 'second'}}
// CHECK: initialization of immutable value 'third'
// FIRST: initialization of immutable value 'third'
// SECOND: initialization of immutable value 'third'
// BOTH: initialization of immutable value 'third'
let third = 5
// In this case, BOTH is accepting both first and second... so because we have
// a first/second warning on the next line, we fail since we consume the
// warning for the first diagnostic.
#if BOTH
// BOTH: expected warning not produced
let fourth = 5
// expected-second-warning @-1 {{initialization of immutable value 'fourth'}}
// expected-first-warning @-2 {{initialization of immutable value 'fourth'}}
#endif
}
|
