1; RUN: opt < %s -passes=function-attrs -S | FileCheck %s
2; PR8279
3
4@g = constant i32 1
5
6; CHECK: Function Attrs
7; CHECK-SAME: norecurse
8; CHECK-NOT: readonly
9; CHECK-NEXT: void @foo()
10define void @foo() {
11 %tmp = load volatile i32, ptr @g
12 ret void
13}
14