; Test that "personality" attributes are correctly updated when cloning modules.
; RUN: llvm-split -o %t %s
; RUN: llvm-dis -o - %t0 | FileCheck --check-prefix=CHECK0 %s
; RUN: llvm-dis -o - %t1 | FileCheck --check-prefix=CHECK1 %s

; CHECK0: define void @foo()
; CHECK1: declare void @foo()
define void @foo() {
  ret void
}

; CHECK0: declare void @bar()
; CHECK0-NOT: personality
; CHECK1: define void @bar() personality i8* bitcast (void ()* @foo to i8*)
define void @bar() personality i8* bitcast (void ()* @foo to i8*)
{
  ret void
}