1; Check upgrade is removing the incompatible attributes on void return type.
2
3; RUN: llvm-dis < %s.bc | FileCheck %s
4
5; CHECK: define void @f()
6define align 8 void @f() {
7 ret void
8}
9
10define void @g() {
11; CHECK: call void @f()
12 call align 8 void @f();
13 ret void
14}
15