aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/c-c++-common/hwasan/alloca-base-init.c
blob: 3ebeaa0b9e258982e773e2e58742f24b59ad80cd (plain)
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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
/* { dg-do run } */
/* { dg-require-effective-target hwaddress_exec } */
/* { dg-additional-options "--param hwasan-random-frame-tag=1" } */
/* { dg-skip-if "" { *-*-* } { "-flto" } { "" } } */
#include <alloca.h>

/* This testcase checks that `alloca` calls ensure the `__hwasan_generate_tag`
   function is called to initialize the base tag.  `alloca` calls are treated
   differently to standard variables.  The prologue/epilogue sequence is
   generated mainly based on normal stack-allocated objects.

   We want to ensure that though the `alloca` call is not poisoned/unpoisoned
   by the prologue and epilogue, the use of them in a given function still
   triggers the prologue sequence to emit a call to __hwasan_generate_tag (and
   hence that any call to __hwasan_generate_tag is emitted in the unconditional
   part of the function code).  */

int choice = 0;
int record = 1;

#ifdef __cplusplus
extern "C" {
#endif
__attribute__ ((noinline))
unsigned char
__hwasan_generate_tag ()
{
  record = 0;
  return 3;
}
#ifdef __cplusplus
}
#endif

__attribute__ ((noinline))
int
generate_tag_was_missed (void)
{
  return record;
}

__attribute__((noinline, noclone)) int
foo (char *a)
{
  int i, j = 0;
  asm volatile ("" : "+r" (a) : : "memory");
  for (i = 0; i < 12; i++)
    j += a[i];
  return j;
}

int
main ()
{
  if (choice)
  {
        char *x = (char *)alloca(100);
        foo(x);
  }
  else
  {
        char *y = (char *)alloca(20);
        foo(y);
  }
  return generate_tag_was_missed ();
}