; 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
}