hanchenye-llvm-project/llvm/test/Regression/Verifier/2004-05-21-SwitchConstantMismatch.ll

int %main() {  
start1:
  switch uint 0, label %brt0 [int 3, label %brt1  ]
brt0:
  ret int 0
brt1:
  ret int 0
}