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