annotate gcc/testsuite/gcc.dg/torture/nested-fn-1.c @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* PR middle-end/15345, c/16450 */
kono
parents:
diff changeset
2 /* Test whether unused nested functions aren't emitted into the assembly. */
kono
parents:
diff changeset
3 /* { dg-do compile } */
kono
parents:
diff changeset
4 /* { dg-options "-g0" } */
kono
parents:
diff changeset
5 /* { dg-require-effective-target trampolines } */
kono
parents:
diff changeset
6
kono
parents:
diff changeset
7 int
kono
parents:
diff changeset
8 fn1 (int x)
kono
parents:
diff changeset
9 {
kono
parents:
diff changeset
10 int i = x;
kono
parents:
diff changeset
11 inline __attribute__((always_inline)) int
kono
parents:
diff changeset
12 should_not_appear1 (void)
kono
parents:
diff changeset
13 {
kono
parents:
diff changeset
14 return i;
kono
parents:
diff changeset
15 }
kono
parents:
diff changeset
16 return should_not_appear1 ();
kono
parents:
diff changeset
17 }
kono
parents:
diff changeset
18
kono
parents:
diff changeset
19 int
kono
parents:
diff changeset
20 fn2 (int x)
kono
parents:
diff changeset
21 {
kono
parents:
diff changeset
22 int i = x;
kono
parents:
diff changeset
23 inline __attribute__((always_inline)) int
kono
parents:
diff changeset
24 should_not_appear2 (void)
kono
parents:
diff changeset
25 {
kono
parents:
diff changeset
26 return i;
kono
parents:
diff changeset
27 }
kono
parents:
diff changeset
28 return x;
kono
parents:
diff changeset
29 }
kono
parents:
diff changeset
30
kono
parents:
diff changeset
31 extern void check (void *p);
kono
parents:
diff changeset
32
kono
parents:
diff changeset
33 int
kono
parents:
diff changeset
34 fn3 (int x)
kono
parents:
diff changeset
35 {
kono
parents:
diff changeset
36 int i = x;
kono
parents:
diff changeset
37 inline int
kono
parents:
diff changeset
38 should_appear1 (void)
kono
parents:
diff changeset
39 {
kono
parents:
diff changeset
40 char *p = __builtin_alloca (i);
kono
parents:
diff changeset
41 check (p);
kono
parents:
diff changeset
42 return i;
kono
parents:
diff changeset
43 }
kono
parents:
diff changeset
44 return should_appear1 ();
kono
parents:
diff changeset
45 }
kono
parents:
diff changeset
46
kono
parents:
diff changeset
47 int
kono
parents:
diff changeset
48 fn4 (int x)
kono
parents:
diff changeset
49 {
kono
parents:
diff changeset
50 int i = x;
kono
parents:
diff changeset
51 inline int
kono
parents:
diff changeset
52 should_not_appear3 (void)
kono
parents:
diff changeset
53 {
kono
parents:
diff changeset
54 char *p = __builtin_alloca (i);
kono
parents:
diff changeset
55 check (p);
kono
parents:
diff changeset
56 return i;
kono
parents:
diff changeset
57 }
kono
parents:
diff changeset
58 return 0 ? should_not_appear3 () : 1;
kono
parents:
diff changeset
59 }
kono
parents:
diff changeset
60
kono
parents:
diff changeset
61 int
kono
parents:
diff changeset
62 fn5 (int x)
kono
parents:
diff changeset
63 {
kono
parents:
diff changeset
64 int i = x;
kono
parents:
diff changeset
65 inline int
kono
parents:
diff changeset
66 should_appear2 (void)
kono
parents:
diff changeset
67 {
kono
parents:
diff changeset
68 return i;
kono
parents:
diff changeset
69 }
kono
parents:
diff changeset
70 check (should_appear2);
kono
parents:
diff changeset
71 return i;
kono
parents:
diff changeset
72 }
kono
parents:
diff changeset
73
kono
parents:
diff changeset
74 /* { dg-final { scan-assembler-not "should_not_appear" } } */