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

@g = constant i32 1

; CHECK: Function Attrs
; CHECK-SAME: norecurse
; CHECK-NOT: readonly
; CHECK-NEXT: void @foo()
define void @foo() {
  %tmp = load volatile i32, ptr @g
  ret void
}