1 // RUN: %clang_cc1 -g -std=c++11 -S -emit-llvm %s -o - | FileCheck %s
2 // PR19864
3 extern int v[2];
4 int a = 0, b = 0;
main()5 int main() {
6 #line 100
7 for (int x : v)
8 if (x)
9 ++b; // CHECK: add nsw{{.*}}, 1
10 else
11 ++a; // CHECK: add nsw{{.*}}, 1
12 // The continuation block if the if statement should not share the
13 // location of the ++a statement. The branch back to the start of the loop
14 // should be attributed to the loop header line.
15
16 // CHECK: br label
17 // CHECK: br label
18 // CHECK: br label {{.*}}, !dbg [[DBG1:!.*]]
19
20 #line 200
21 while (a)
22 if (b)
23 ++b; // CHECK: add nsw{{.*}}, 1
24 else
25 ++a; // CHECK: add nsw{{.*}}, 1
26
27 // CHECK: br label
28 // CHECK: br label {{.*}}, !dbg [[DBG2:!.*]]
29
30 #line 300
31 for (; a; )
32 if (b)
33 ++b; // CHECK: add nsw{{.*}}, 1
34 else
35 ++a; // CHECK: add nsw{{.*}}, 1
36
37 // CHECK: br label
38 // CHECK: br label {{.*}}, !dbg [[DBG3:!.*]]
39
40 #line 400
41 int x[] = {1, 2};
42 for (int y : x)
43 if (b)
44 ++b; // CHECK: add nsw{{.*}}, 1
45 else
46 ++a; // CHECK: add nsw{{.*}}, 1
47
48 // CHECK: br label
49 // CHECK: br label {{.*}}, !dbg [[DBG4:!.*]]
50
51 // CHECK: [[DBG1]] = !MDLocation(line: 100, scope: !{{.*}})
52 // CHECK: [[DBG2]] = !MDLocation(line: 200, scope: !{{.*}})
53 // CHECK: [[DBG3]] = !MDLocation(line: 300, scope: !{{.*}})
54 // CHECK: [[DBG4]] = !MDLocation(line: 401, scope: !{{.*}})
55 }
56