annotate gcc/testsuite/gcc.c-torture/execute/nest-align-1.c @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* Test for alignment handling when a variable is accessed by nested
kono
parents:
diff changeset
2 function. */
kono
parents:
diff changeset
3 /* Origin: Joey Ye <joey.ye@intel.com> */
kono
parents:
diff changeset
4
kono
parents:
diff changeset
5 /* Force bigger stack alignment for PowerPC EABI targets. */
kono
parents:
diff changeset
6 /* { dg-options "-mno-eabi" { target powerpc-*-eabi* } } */
kono
parents:
diff changeset
7
kono
parents:
diff changeset
8 #include <stddef.h>
kono
parents:
diff changeset
9
kono
parents:
diff changeset
10 typedef int aligned __attribute__((aligned));
kono
parents:
diff changeset
11 extern void abort (void);
kono
parents:
diff changeset
12
kono
parents:
diff changeset
13 void
kono
parents:
diff changeset
14 check (int *i)
kono
parents:
diff changeset
15 {
kono
parents:
diff changeset
16 *i = 20;
kono
parents:
diff changeset
17 if ((((ptrdiff_t) i) & (__alignof__(aligned) - 1)) != 0)
kono
parents:
diff changeset
18 abort ();
kono
parents:
diff changeset
19 }
kono
parents:
diff changeset
20
kono
parents:
diff changeset
21 void
kono
parents:
diff changeset
22 foo (void)
kono
parents:
diff changeset
23 {
kono
parents:
diff changeset
24 aligned jj;
kono
parents:
diff changeset
25 void bar ()
kono
parents:
diff changeset
26 {
kono
parents:
diff changeset
27 jj = -20;
kono
parents:
diff changeset
28 }
kono
parents:
diff changeset
29 jj = 0;
kono
parents:
diff changeset
30 bar ();
kono
parents:
diff changeset
31 if (jj != -20)
kono
parents:
diff changeset
32 abort ();
kono
parents:
diff changeset
33 check (&jj);
kono
parents:
diff changeset
34 if (jj != 20)
kono
parents:
diff changeset
35 abort ();
kono
parents:
diff changeset
36 }
kono
parents:
diff changeset
37
kono
parents:
diff changeset
38 int
kono
parents:
diff changeset
39 main()
kono
parents:
diff changeset
40 {
kono
parents:
diff changeset
41 foo ();
kono
parents:
diff changeset
42 return 0;
kono
parents:
diff changeset
43 }