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
|
// RUN: %clang_cc1 -g -std=c++11 -S -emit-llvm %s -o - | FileCheck %s
// PR19864
extern int v[2];
int a = 0, b = 0;
int main() {
#line 100
for (int x : v)
if (x)
++b; // CHECK: add nsw{{.*}}, 1
else
++a; // CHECK: add nsw{{.*}}, 1
// The continuation block if the if statement should not share the
// location of the ++a statement. The branch back to the start of the loop
// should be attributed to the loop header line.
// CHECK: br label
// CHECK: br label
// CHECK: br label {{.*}}, !dbg [[DBG1:!.*]]
#line 200
while (a)
if (b)
++b; // CHECK: add nsw{{.*}}, 1
else
++a; // CHECK: add nsw{{.*}}, 1
// CHECK: br label
// CHECK: br label {{.*}}, !dbg [[DBG2:!.*]]
#line 300
for (; a; )
if (b)
++b; // CHECK: add nsw{{.*}}, 1
else
++a; // CHECK: add nsw{{.*}}, 1
// CHECK: br label
// CHECK: br label {{.*}}, !dbg [[DBG3:!.*]]
#line 400
int x[] = {1, 2};
for (int y : x)
if (b)
++b; // CHECK: add nsw{{.*}}, 1
else
++a; // CHECK: add nsw{{.*}}, 1
// CHECK: br label
// CHECK: br label {{.*}}, !dbg [[DBG4:!.*]]
// CHECK: [[DBG1]] = !MDLocation(line: 100, scope: !{{.*}})
// CHECK: [[DBG2]] = !MDLocation(line: 200, scope: !{{.*}})
// CHECK: [[DBG3]] = !MDLocation(line: 300, scope: !{{.*}})
// CHECK: [[DBG4]] = !MDLocation(line: 401, scope: !{{.*}})
}
|
