; Intentionally invalid SSA: do not execute this module.
define i32 @bad_join(i32 %x) {
entry:
  %positive_test = icmp sgt i32 %x, 0
  br i1 %positive_test, label %positive, label %other
positive:
  %plus = add i32 %x, 1
  br label %join
other:
  br label %join
join:
  %result = add i32 %plus, 0
  ret i32 %result
}