void nowarn(_Bool b) {
  switch (b)
    ;
  switch (b) {
  case 1:
  case 0:
    break;
  }
  switch (b) {
  case 1:
    break;
  }
  switch (b) {
  case 1:
  default:
    break;
  }
  switch (b) {
  case 0:
    break;
  }
  switch (b) {
  case 0:
  default:
    break;
  }
  switch (b) {
  default:
    break;
  }
  switch (b) {
  case 0 ... 1:
    break;
  }
  switch (b) {
  case 1:
    switch (b) {
    case 1:
    default:
      break;
    }
  default:
    break;
  }
}


x86 assembly (clang, -O0):
<nowarn>:
push   %rbp
mov    %rsp,%rbp
mov    %dil,%al
and    $0x1,%al
mov    %al,-0x1(%rbp)
xor    %eax,%eax
test   %al,%al
jne    1120 <nowarn+0x20>
jmp    111b <nowarn+0x1b>
jmp    1120 <nowarn+0x20>
mov    -0x1(%rbp),%al
test   $0x1,%al
je     1135 <nowarn+0x35>
jmp    1130 <nowarn+0x30>
jmp    1135 <nowarn+0x35>
mov    -0x1(%rbp),%al
test   $0x1,%al
je     114a <nowarn+0x4a>
jmp    1145 <nowarn+0x45>
jmp    114a <nowarn+0x4a>
jmp    114f <nowarn+0x4f>
mov    -0x1(%rbp),%al
test   $0x1,%al
jne    1164 <nowarn+0x64>
jmp    115f <nowarn+0x5f>
jmp    1164 <nowarn+0x64>
mov    -0x1(%rbp),%al
test   $0x1,%al
jne    1179 <nowarn+0x79>
jmp    1174 <nowarn+0x74>
jmp    1179 <nowarn+0x79>
jmp    117e <nowarn+0x7e>
jmp    1183 <nowarn+0x83>
xor    %eax,%eax
test   %al,%al
jne    1197 <nowarn+0x97>
jmp    1192 <nowarn+0x92>
jmp    1197 <nowarn+0x97>
mov    -0x1(%rbp),%al
test   $0x1,%al
je     11c6 <nowarn+0xc6>
jmp    11a7 <nowarn+0xa7>
mov    -0x1(%rbp),%al
test   $0x1,%al
je     11bc <nowarn+0xbc>
jmp    11b7 <nowarn+0xb7>
jmp    11bc <nowarn+0xbc>
jmp    11c1 <nowarn+0xc1>
jmp    11c6 <nowarn+0xc6>
jmp    11cb <nowarn+0xcb>
pop    %rbp
ret

x86 assembly (clang, -O2):
<nowarn>:
ret

LLVM IR (-O0):
define void @nowarn(i1 zeroext %0) {
%2 = alloca i8
%3 = zext i1 %0 to i8
store i8 %3, i8* %2
%4 = load i8, i8* %2
%5 = trunc i8 %4 to i1
%6 = zext i1 %5 to i32
switch i32 %6, label %7 [
]
7: ; preds = %1
%8 = load i8, i8* %2
%9 = trunc i8 %8 to i1
%10 = zext i1 %9 to i32
switch i32 %10, label %12 [
i32 1, label %11
i32 0, label %11
]
11: ; preds = %7, %7
br label %12
12: ; preds = %7, %11
%13 = load i8, i8* %2
%14 = trunc i8 %13 to i1
%15 = zext i1 %14 to i32
switch i32 %15, label %17 [
i32 1, label %16
]
16: ; preds = %12
br label %17
17: ; preds = %12, %16
%18 = load i8, i8* %2
%19 = trunc i8 %18 to i1
%20 = zext i1 %19 to i32
switch i32 %20, label %22 [
i32 1, label %21
]
21: ; preds = %17
br label %22
22: ; preds = %17, %21
br label %23
23: ; preds = %22
%24 = load i8, i8* %2
%25 = trunc i8 %24 to i1
%26 = zext i1 %25 to i32
switch i32 %26, label %28 [
i32 0, label %27
]
27: ; preds = %23
br label %28
28: ; preds = %23, %27
%29 = load i8, i8* %2
%30 = trunc i8 %29 to i1
%31 = zext i1 %30 to i32
switch i32 %31, label %33 [
i32 0, label %32
]
32: ; preds = %28
br label %33
33: ; preds = %28, %32
br label %34
34: ; preds = %33
%35 = load i8, i8* %2
%36 = trunc i8 %35 to i1
%37 = zext i1 %36 to i32
switch i32 %37, label %38 [
]
38: ; preds = %34
br label %39
39: ; preds = %38
%40 = load i8, i8* %2
%41 = trunc i8 %40 to i1
%42 = zext i1 %41 to i32
switch i32 %42, label %44 [
i32 0, label %43
i32 1, label %43
]
43: ; preds = %39, %39
br label %44
44: ; preds = %39, %43
%45 = load i8, i8* %2
%46 = trunc i8 %45 to i1
%47 = zext i1 %46 to i32
switch i32 %47, label %55 [
i32 1, label %48
]
48: ; preds = %44
%49 = load i8, i8* %2
%50 = trunc i8 %49 to i1
%51 = zext i1 %50 to i32
switch i32 %51, label %53 [
i32 1, label %52
]
52: ; preds = %48
br label %53
53: ; preds = %48, %52
br label %54
54: ; preds = %53
br label %55
55: ; preds = %44, %54
br label %56
56: ; preds = %55
ret void
}

LLVM IR (-O2):
define void @nowarn(i1 zeroext %0) {
ret void
}