; RUN: llc < %s -mtriple=x86_64-apple-darwin | FileCheck %s
; PR3168

; CHECK-LABEL: append

define ptr @append() gc "ocaml" {
entry:
  switch i32 0, label %L2 [i32 0, label %L1]
L1:
  %var8 = alloca ptr
  call void @llvm.gcroot(ptr %var8,ptr null)
  br label %L3
L2:
  call ccc void @oread_runtime_casenotcovered()
  unreachable
L3:
  ret ptr null
}

declare ccc void @oread_runtime_casenotcovered()
declare void @llvm.gcroot(ptr,ptr)