1; RUN: opt < %s -functionattrs -S | FileCheck %s
2; PR8279
3
4@g = constant i32 1
5
6define void @foo() {
7; CHECK: void @foo() #0 {
8  %tmp = load volatile i32, i32* @g
9  ret void
10}
11
12; CHECK: attributes #0 = { norecurse }
13