; Check upgrade is removing the incompatible attributes on void return type.

; RUN: llvm-dis < %s.bc | FileCheck %s

; CHECK: define void @f()
define align 8 void @f() {
  ret void
}

define void @g() {
; CHECK: call void @f()
  call align 8 void @f();
  ret void
}