File: alloca-base-init.c

package info (click to toggle)
gcc-arm-none-eabi 15%3A12.2.rel1-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 959,712 kB
  • sloc: cpp: 3,275,382; ansic: 2,061,766; ada: 840,956; f90: 208,513; makefile: 76,132; asm: 73,433; xml: 50,448; exp: 34,146; sh: 32,436; objc: 15,637; fortran: 14,012; python: 11,991; pascal: 6,787; awk: 4,779; perl: 3,054; yacc: 338; ml: 285; lex: 201; haskell: 122
file content (66 lines) | stat: -rw-r--r-- 1,508 bytes parent folder | download | duplicates (2)
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 ();
}