1 // Check the correct function attributes are generated
2 // RUN: %clang_cc1 -triple x86_64-linux -O0 -S -emit-llvm -o- %s -fstack-clash-protection | FileCheck %s
3 // RUN: %clang_cc1 -triple s390x-linux-gnu -O0 -S -emit-llvm -o- %s -fstack-clash-protection | FileCheck %s
4 
5 // CHECK: define void @large_stack() #[[A:.*]] {
6 void large_stack() {
7   volatile int stack[20000], i;
8   for (i = 0; i < sizeof(stack) / sizeof(int); ++i)
9     stack[i] = i;
10 }
11 
12 // CHECK: define void @vla({{.*}}) #[[A:.*]] {
13 void vla(int n) {
14   volatile int vla[n];
15   __builtin_memset(&vla[0], 0, 1);
16 }
17 
18 // CHECK: define void @builtin_alloca({{.*}}) #[[A:.*]] {
19 void builtin_alloca(int n) {
20   volatile void *mem = __builtin_alloca(n);
21 }
22 
23 // CHECK: attributes #[[A]] = {{.*}} "probe-stack"="inline-asm"
24