1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
/* { dg-do run } */
/* { dg-require-effective-target hwaddress_exec } */
/* { dg-additional-options "--param hwasan-instrument-allocas=0 -save-temps" } */
/* Only run this test without optimisation. When running with optimisation we
use the unprotected-allocas-1.c file that also checks there are no memory
tagging calls (since when optimised the only variable on the stack should be
the vararray/alloca). */
/* { dg-skip-if "" { *-*-* } { "-O1" "-O2" "-O3" } { "" } } */
#define alloca __builtin_alloca
#define assert(x) if (!(x)) __builtin_abort ()
char tag_of (void * x) { return ((unsigned long long)x) >> 56; }
int __attribute__ ((noinline))
using_alloca (int num)
{
int retval = 0;
int *big_array = (int*)alloca (num * sizeof (int));
char alloca_tag = tag_of (big_array);
assert (alloca_tag == 0);
for (int i = 0; i < num; ++i) {
retval += big_array[i];
}
return retval;
}
int __attribute__ ((noinline))
using_vararray (int num)
{
int retval = 0;
int big_array[num];
char vararray_tag = tag_of (big_array);
assert (vararray_tag == 0);
for (int i = 0; i < num; ++i) {
retval += big_array[i];
}
return retval;
}
int main()
{
using_alloca (16);
using_vararray (12);
return 0;
}
|
