; RUN: opt -S -function-attrs %s | FileCheck %s
; RUN: opt -S -passes=function-attrs %s | FileCheck %s

@a = external global i8, !absolute_symbol !0

; CHECK-NOT: define nonnull
define i8* @foo() {
  ret i8* @a
}

!0 = !{i64 0, i64 256}