]>
Commit | Line | Data |
---|---|---|
8953574f L |
1 | /* { dg-do run { target { i?86-*-linux* i?86-*-gnu* x86_64-*-linux* } } } */ |
2 | /* { dg-require-effective-target cet } */ | |
3 | /* { dg-require-effective-target split_stack } */ | |
d16d033b L |
4 | /* { dg-options "-fsplit-stack -O2 -fcf-protection" } */ |
5 | /* { dg-options "-fsplit-stack -O2 -mno-accumulate-outgoing-args -fcf-protection" { target { { i?86-*-* x86_64-*-* } && ia32 } } } */ | |
8953574f L |
6 | |
7 | /* A case that used to fail on 32-bit x86 when optimizing and not | |
8 | using -maccumulate-args. The stack adjustment of the alloca got | |
9 | mixed up with the arguments pushed on the stack to the function | |
10 | before the call of alloca. */ | |
11 | ||
12 | #include <stdlib.h> | |
13 | ||
14 | typedef struct { const char* s; int l; } s; | |
15 | ||
16 | typedef unsigned long long align16 __attribute__ ((aligned(16))); | |
17 | ||
18 | s gobats (const void *, int) __attribute__ ((noinline)); | |
19 | ||
20 | s | |
21 | gobats (const void* p __attribute__ ((unused)), | |
22 | int l __attribute__ ((unused))) | |
23 | { | |
24 | s v; | |
25 | v.s = 0; | |
26 | v.l = 0; | |
27 | return v; | |
28 | } | |
29 | ||
30 | void check_aligned (void *p) __attribute__ ((noinline)); | |
31 | ||
32 | void | |
33 | check_aligned (void *p) | |
34 | { | |
35 | if (((__SIZE_TYPE__) p & 0xf) != 0) | |
36 | abort (); | |
37 | } | |
38 | ||
39 | void gap (void *) __attribute__ ((noinline)); | |
40 | ||
41 | void gap (void *p) | |
42 | { | |
43 | align16 a; | |
44 | check_aligned (&a); | |
45 | } | |
46 | ||
47 | int | |
48 | main (int argc, char **argv) | |
49 | { | |
50 | s *space; | |
51 | gobats(0, 16); | |
52 | space = (s *) alloca(sizeof(s) + 1); | |
53 | *space = (s){0, 16}; | |
54 | gap(space); | |
55 | return 0; | |
56 | } |