1; RUN: opt -S -functionattrs %s | FileCheck %s
2
3@a = external global i8, !absolute_symbol !0
4
5; CHECK-NOT: define nonnull
6define i8* @foo() {
7  ret i8* @a
8}
9
10!0 = !{i64 0, i64 256}
11