1 // RUN: %clang_cc1 -fexceptions -emit-llvm %s -o - | FileCheck %s
2 int c(void) __attribute__((const));
3 int p(void) __attribute__((pure));
4 int t(void);
5
6 // CHECK: define i32 @_Z1fv() {
f(void)7 int f(void) {
8 // CHECK: call i32 @_Z1cv() nounwind readnone
9 // CHECK: call i32 @_Z1pv() nounwind readonly
10 return c() + p() + t();
11 }
12
13 // CHECK: declare i32 @_Z1cv() nounwind readnone
14 // CHECK: declare i32 @_Z1pv() nounwind readonly
15 // CHECK-NOT: declare i32 @_Z1tv() nounwind
16