1// RUN: %clang_cc1 -debug-info-kind=limited -std=c++11 -S -emit-llvm %s -o - | FileCheck %s
2// PR19864
3extern int v[2];
4int a = 0, b = 0;
5int 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]] = !DILocation(line: 100, scope: !{{.*}})
52  // CHECK: [[DBG2]] = !DILocation(line: 200, scope: !{{.*}})
53  // CHECK: [[DBG3]] = !DILocation(line: 300, scope: !{{.*}})
54  // CHECK: [[DBG4]] = !DILocation(line: 401, scope: !{{.*}})
55}
56