void test_branch_protected_scope() {
  int i = 0;
L1:
  ++i;
  int x[24];
#pragma omp parallel sections
  {
    if (i == 5)
      goto L1;
    else if (i == 6)
      return;
    else if (i == 7)
      goto L2;
    else if (i == 8) {
    L2:
      x[i]++;
    }
#pragma omp section
    if (i == 5)
      goto L1;
    else if (i == 6)
      return;
    else if (i == 7)
      goto L3;
    else if (i == 8) {
    L3:
      x[i]++;
    }
  }
  if (x[0] == 0)
    goto L2;
  else if (x[1] == 1)
    goto L1;
  goto L3;
}


x86 assembly (clang, -O0):
<test_branch_protected_scope>:
push   %rbp
mov    %rsp,%rbp
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
cmpl   $0x5,-0x4(%rbp)
jne    1123 <test_branch_protected_scope+0x23>
jmp    110b <test_branch_protected_scope+0xb>
cmpl   $0x6,-0x4(%rbp)
jne    1132 <test_branch_protected_scope+0x32>
jmp    11f0 <test_branch_protected_scope+0xf0>
cmpl   $0x7,-0x4(%rbp)
jne    1141 <test_branch_protected_scope+0x41>
jmp    1150 <test_branch_protected_scope+0x50>
cmpl   $0x8,-0x4(%rbp)
jne    115f <test_branch_protected_scope+0x5f>
jmp    1150 <test_branch_protected_scope+0x50>
movslq -0x4(%rbp),%rax
mov    -0x70(%rbp,%rax,4),%ecx
add    $0x1,%ecx
mov    %ecx,-0x70(%rbp,%rax,4)
jmp    1164 <test_branch_protected_scope+0x64>
jmp    1169 <test_branch_protected_scope+0x69>
jmp    116e <test_branch_protected_scope+0x6e>
cmpl   $0x5,-0x4(%rbp)
jne    117d <test_branch_protected_scope+0x7d>
jmp    110b <test_branch_protected_scope+0xb>
cmpl   $0x6,-0x4(%rbp)
jne    118c <test_branch_protected_scope+0x8c>
jmp    11f0 <test_branch_protected_scope+0xf0>
cmpl   $0x7,-0x4(%rbp)
jne    119b <test_branch_protected_scope+0x9b>
jmp    11aa <test_branch_protected_scope+0xaa>
cmpl   $0x8,-0x4(%rbp)
jne    11b9 <test_branch_protected_scope+0xb9>
jmp    11aa <test_branch_protected_scope+0xaa>
movslq -0x4(%rbp),%rax
mov    -0x70(%rbp,%rax,4),%ecx
add    $0x1,%ecx
mov    %ecx,-0x70(%rbp,%rax,4)
jmp    11be <test_branch_protected_scope+0xbe>
jmp    11c3 <test_branch_protected_scope+0xc3>
jmp    11c8 <test_branch_protected_scope+0xc8>
cmpl   $0x0,-0x70(%rbp)
jne    11d7 <test_branch_protected_scope+0xd7>
jmp    1150 <test_branch_protected_scope+0x50>
cmpl   $0x1,-0x6c(%rbp)
jne    11e6 <test_branch_protected_scope+0xe6>
jmp    110b <test_branch_protected_scope+0xb>
jmp    11eb <test_branch_protected_scope+0xeb>
jmp    11aa <test_branch_protected_scope+0xaa>
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_branch_protected_scope>:
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %eax,%ecx
mov    $0x5,%eax
cmp    $0x4,%ecx
je     1110 <test_branch_protected_scope+0x10>
cmp    $0x5,%ecx
je     1178 <test_branch_protected_scope+0x78>
lea    0x1(%rcx),%eax
and    $0xfffffffe,%ecx
mov    $0x1,%edi
movslq %eax,%rdx
cmp    $0x6,%ecx
je     113f <test_branch_protected_scope+0x3f>
test   %esi,%esi
je     113f <test_branch_protected_scope+0x3f>
cmp    $0x1,%edi
je     1110 <test_branch_protected_scope+0x10>
jmp    116a <test_branch_protected_scope+0x6a>
movslq %eax,%rsi
mov    -0x68(%rsp,%rsi,4),%edi
add    $0x1,%edi
mov    %edi,-0x68(%rsp,%rsi,4)
cmp    $0x6,%ecx
jne    1159 <test_branch_protected_scope+0x59>
add    $0x1,%edi
mov    %edi,-0x68(%rsp,%rsi,4)
mov    -0x68(%rsp),%esi
test   %esi,%esi
je     1173 <test_branch_protected_scope+0x73>
mov    -0x64(%rsp),%edi
cmp    $0x1,%edi
je     1110 <test_branch_protected_scope+0x10>
mov    -0x68(%rsp,%rdx,4),%edi
mov    %rdx,%rsi
jmp    1152 <test_branch_protected_scope+0x52>
movslq %eax,%rsi
jmp    1146 <test_branch_protected_scope+0x46>
ret

LLVM IR (-O0):
define void @test_branch_protected_scope() {
%1 = alloca i32
%2 = alloca [24 x i32]
store i32 0, i32* %1
br label %3
3: ; preds = %64, %33, %8, %0
%4 = load i32, i32* %1
%5 = add nsw i32 %4, 1
store i32 %5, i32* %1
%6 = load i32, i32* %1
%7 = icmp eq i32 %6, 5
br i1 %7, label %8, label %9
8: ; preds = %3
br label %3
9: ; preds = %3
%10 = load i32, i32* %1
%11 = icmp eq i32 %10, 6
br i1 %11, label %12, label %13
12: ; preds = %9
br label %67
13: ; preds = %9
%14 = load i32, i32* %1
%15 = icmp eq i32 %14, 7
br i1 %15, label %16, label %17
16: ; preds = %13
br label %21
17: ; preds = %13
%18 = load i32, i32* %1
%19 = icmp eq i32 %18, 8
br i1 %19, label %20, label %27
20: ; preds = %17
br label %21
21: ; preds = %59, %20, %16
%22 = load i32, i32* %1
%23 = sext i32 %22 to i64
%24 = getelementptr inbounds [24 x i32], [24 x i32]* %2, i64 0, i64 %23
%25 = load i32, i32* %24
%26 = add nsw i32 %25, 1
store i32 %26, i32* %24
br label %27
27: ; preds = %21, %17
br label %28
28: ; preds = %27
br label %29
29: ; preds = %28
br label %30
30: ; preds = %29
%31 = load i32, i32* %1
%32 = icmp eq i32 %31, 5
br i1 %32, label %33, label %34
33: ; preds = %30
br label %3
34: ; preds = %30
%35 = load i32, i32* %1
%36 = icmp eq i32 %35, 6
br i1 %36, label %37, label %38
37: ; preds = %34
br label %67
38: ; preds = %34
%39 = load i32, i32* %1
%40 = icmp eq i32 %39, 7
br i1 %40, label %41, label %42
41: ; preds = %38
br label %46
42: ; preds = %38
%43 = load i32, i32* %1
%44 = icmp eq i32 %43, 8
br i1 %44, label %45, label %52
45: ; preds = %42
br label %46
46: ; preds = %66, %45, %41
%47 = load i32, i32* %1
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds [24 x i32], [24 x i32]* %2, i64 0, i64 %48
%50 = load i32, i32* %49
%51 = add nsw i32 %50, 1
store i32 %51, i32* %49
br label %52
52: ; preds = %46, %42
br label %53
53: ; preds = %52
br label %54
54: ; preds = %53
br label %55
55: ; preds = %54
%56 = getelementptr inbounds [24 x i32], [24 x i32]* %2, i64 0, i64 0
%57 = load i32, i32* %56
%58 = icmp eq i32 %57, 0
br i1 %58, label %59, label %60
59: ; preds = %55
br label %21
60: ; preds = %55
%61 = getelementptr inbounds [24 x i32], [24 x i32]* %2, i64 0, i64 1
%62 = load i32, i32* %61
%63 = icmp eq i32 %62, 1
br i1 %63, label %64, label %65
64: ; preds = %60
br label %3
65: ; preds = %60
br label %66
66: ; preds = %65
br label %46
67: ; preds = %37, %12
ret void
}

LLVM IR (-O2):
define void @test_branch_protected_scope() {
%1 = alloca [24 x i32]
%2 = getelementptr inbounds [24 x i32], [24 x i32]* %1, i64 0, i64 0
%3 = getelementptr inbounds [24 x i32], [24 x i32]* %1, i64 0, i64 1
br label %4
4: ; preds = %37, %0
%5 = phi i32 [ %39, %37 ], [ undef, %0 ]
%6 = phi i32 [ %10, %37 ], [ 0, %0 ]
br label %7
7: ; preds = %4, %7
%8 = phi i32 [ 5, %7 ], [ %6, %4 ]
switch i32 %8, label %9 [
i32 4, label %7
i32 5, label %45
]
9: ; preds = %7
%10 = add nsw i32 %8, 1
%11 = and i32 %8, -2
%12 = icmp eq i32 %11, 6
%13 = icmp eq i32 %5, 0
%14 = select i1 %12, i1 true, i1 %13
br i1 %14, label %15, label %37
15: ; preds = %9
%16 = sext i32 %10 to i64
%17 = getelementptr inbounds [24 x i32], [24 x i32]* %1, i64 0, i64 %16
%18 = load i32, i32* %17
br label %19
19: ; preds = %33, %15
%20 = phi i64 [ %34, %33 ], [ %16, %15 ]
%21 = phi i32 [ %30, %33 ], [ %18, %15 ]
%22 = getelementptr inbounds [24 x i32], [24 x i32]* %1, i64 0, i64 %20
%23 = add nsw i32 %21, 1
store i32 %23, i32* %22
br i1 %12, label %24, label %29
24: ; preds = %41, %19
%25 = phi i64 [ %42, %41 ], [ %20, %19 ]
%26 = phi i32 [ %44, %41 ], [ %23, %19 ]
%27 = getelementptr inbounds [24 x i32], [24 x i32]* %1, i64 0, i64 %25
%28 = add nsw i32 %26, 1
store i32 %28, i32* %27
br label %29
29: ; preds = %19, %24
%30 = phi i32 [ %23, %19 ], [ %28, %24 ]
%31 = load i32, i32* %2
%32 = icmp eq i32 %31, 0
br i1 %32, label %33, label %35
33: ; preds = %29
%34 = sext i32 %10 to i64
br label %19
35: ; preds = %29
%36 = load i32, i32* %3
br label %37
37: ; preds = %35, %9
%38 = phi i32 [ 1, %9 ], [ %36, %35 ]
%39 = phi i32 [ %5, %9 ], [ %31, %35 ]
%40 = icmp eq i32 %38, 1
br i1 %40, label %4, label %41
41: ; preds = %37
%42 = sext i32 %10 to i64
%43 = getelementptr inbounds [24 x i32], [24 x i32]* %1, i64 0, i64 %42
%44 = load i32, i32* %43
br label %24
45: ; preds = %7
ret void
}