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;
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