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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
|
/* RUN: %clang_cc1 -std=c89 -pedantic -verify -emit-llvm -o - %s | FileCheck %s
RUN: %clang_cc1 -std=c99 -pedantic -verify -emit-llvm -o - %s | FileCheck %s
RUN: %clang_cc1 -std=c11 -pedantic -verify -emit-llvm -o - %s | FileCheck %s
RUN: %clang_cc1 -std=c17 -pedantic -verify -emit-llvm -o - %s | FileCheck %s
RUN: %clang_cc1 -std=c2x -pedantic -verify -emit-llvm -o - %s | FileCheck %s
*/
/* expected-no-diagnostics */
/* WG14 DR268: yes
* Jumps into iteration statements
*/
void foo(void);
void dr268(void) {
int i = 5;
goto goto_target;
for (i = 0; i < 10; ++i) {
if (i > 2) ++i;
goto_target:
foo();
}
/* Ensure that the goto jumps into the middle of the for loop body, and that
* the initialization and controlling expression are not evaluated on the
* first pass through.
*/
/* Get us to the right function.
CHECK-LABEL: define{{.*}} void @dr268() {{.*}} {
First is the initialization and goto.
CHECK: store i32 5
CHECK-NEXT: br label %[[GOTO_TARGET:.+]]
Then comes the initialization of the for loop variable.
CHECK: store i32 0
CHECK-NEXT: br label %[[FOR_COND:.+]]
Then comes the for loop condition check label followed eventually by the
for loop body label.
CHECK: [[FOR_COND]]:
CHECK: {{.+}} = icmp slt i32 {{.+}}, 10
CHECK: [[FOR_BODY:.+]]:
CHECK: {{.+}} = icmp sgt i32 {{.+}}, 2
Then comes the then branch of the if statement.
CHECK: %[[I:.+]] = load i32,
CHECK-NEXT: %[[INC:.+]] = add nsw i32 %[[I]], 1
CHECK-NEXT: store i32 %[[INC]],
Eventually, we get to the goto label and its call
CHECK: [[GOTO_TARGET]]:
CHECK-NEXT: call void @foo()
CHECK-NEXT: br label %[[FOR_INC:.+]]
CHECK: [[FOR_INC]]:
CHECK-NEXT: %[[I2:.+]] = load i32,
CHECK-NEXT: %[[INC2:.+]] = add nsw i32 %[[I2]], 1
CHECK-NEXT: store i32 %[[INC2]],
CHECK-NEXT: br label %[[FOR_COND]]
*/
}
|
