annotate gcc/testsuite/gcc.dg/Wtrampolines.c @ 111:04ced10e8804

gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* Origin: trampoline-1.c Waldek Hebisch <hebisch@math.uni.wroc.pl> */
kono
parents:
diff changeset
2 /* Ported to test -Wtrampolines Magnus Granberg <zorry@gentoo.org> */
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 /* { dg-do compile } */
kono
parents:
diff changeset
5 /* { dg-require-effective-target trampolines } */
kono
parents:
diff changeset
6 /* { dg-options "-O2 -Wtrampolines" } */
kono
parents:
diff changeset
7
kono
parents:
diff changeset
8 /* This used to fail on various versions of Solaris 2 because the
kono
parents:
diff changeset
9 trampoline couldn't be made executable. */
kono
parents:
diff changeset
10
kono
parents:
diff changeset
11 extern void abort(void);
kono
parents:
diff changeset
12 extern double fabs(double);
kono
parents:
diff changeset
13
kono
parents:
diff changeset
14 void foo (void)
kono
parents:
diff changeset
15 {
kono
parents:
diff changeset
16 const int correct[1100] = {1, 0, -2, 0, 1, 0, 1, -1, -10, -30, -67};
kono
parents:
diff changeset
17 int i;
kono
parents:
diff changeset
18
kono
parents:
diff changeset
19 double x1 (void) {return 1; }
kono
parents:
diff changeset
20 double x2 (void) {return -1;}
kono
parents:
diff changeset
21 double x3 (void) {return -1;}
kono
parents:
diff changeset
22 double x4 (void) {return 1; }
kono
parents:
diff changeset
23 double x5 (void) {return 0; }
kono
parents:
diff changeset
24
kono
parents:
diff changeset
25 typedef double pfun(void);
kono
parents:
diff changeset
26
kono
parents:
diff changeset
27 double a (int k, pfun x1, pfun x2, pfun x3, pfun x4, pfun x5)
kono
parents:
diff changeset
28 {
kono
parents:
diff changeset
29 double b (void) /* { dg-warning "trampoline generated for nested function 'b'" "standard descriptors" { xfail { { ia64-*-* *-*-aix* } || { powerpc*-*-* && lp64 } } } } */
kono
parents:
diff changeset
30 {
kono
parents:
diff changeset
31 k = k - 1;
kono
parents:
diff changeset
32 return a (k, b, x1, x2, x3, x4 );
kono
parents:
diff changeset
33 }
kono
parents:
diff changeset
34
kono
parents:
diff changeset
35 if (k <= 0)
kono
parents:
diff changeset
36 return x4 () + x5 ();
kono
parents:
diff changeset
37 else
kono
parents:
diff changeset
38 return b ();
kono
parents:
diff changeset
39 }
kono
parents:
diff changeset
40
kono
parents:
diff changeset
41 for (i=0; i<=10; i++)
kono
parents:
diff changeset
42 {
kono
parents:
diff changeset
43 if (fabs(a( i, x1, x2, x3, x4, x5 ) - correct [i]) > 0.1)
kono
parents:
diff changeset
44 abort();
kono
parents:
diff changeset
45 }
kono
parents:
diff changeset
46 }
kono
parents:
diff changeset
47
kono
parents:
diff changeset
48 int main (void)
kono
parents:
diff changeset
49 {
kono
parents:
diff changeset
50 foo ();
kono
parents:
diff changeset
51
kono
parents:
diff changeset
52 return 0;
kono
parents:
diff changeset
53 }