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