|
111
|
1 /* PR middle-end/pr42363, extended from the test for PR middle-end/37913. */
|
|
|
2 /* { dg-do compile } */
|
|
|
3 /* { dg-options "-g" } */
|
|
|
4
|
|
|
5 void foo (void) __attribute__ ((noreturn));
|
|
|
6
|
|
|
7 static int __attribute__ ((noreturn))
|
|
|
8 bar (void)
|
|
|
9 {
|
|
|
10 foo ();
|
|
|
11 }
|
|
|
12
|
|
|
13 int
|
|
|
14 baz (void)
|
|
|
15 {
|
|
|
16 int i = bar ();
|
|
|
17 return i + 1;
|
|
|
18 }
|
|
|
19
|
|
|
20 int fooz (void) __attribute__ ((noreturn));
|
|
|
21
|
|
|
22 static int __attribute__ ((noreturn))
|
|
|
23 bart (void)
|
|
|
24 {
|
|
|
25 return fooz (); /* { dg-warning "noreturn" } */
|
|
|
26 }
|
|
|
27
|
|
|
28 int bazr (void)
|
|
|
29 {
|
|
|
30 int i = bart ();
|
|
|
31 return i + 1;
|
|
|
32 }
|
|
|
33
|
|
|
34 static inline int
|
|
|
35 bard (void)
|
|
|
36 {
|
|
|
37 return fooz ();
|
|
|
38 }
|
|
|
39
|
|
|
40 int bizr (void)
|
|
|
41 {
|
|
|
42 int i, j;
|
|
|
43
|
|
|
44 i = j = bard ();
|
|
|
45
|
|
|
46 return i + 1;
|
|
|
47 }
|
|
|
48
|
|
|
49 /* This might be regarded as pure and folded, rather than inlined.
|
|
|
50 It's pure evil. */
|
|
|
51 static int __attribute__ ((pure, const, noreturn))
|
|
|
52 barf (void)
|
|
|
53 {
|
|
|
54 } /* { dg-warning "does return" } */
|
|
|
55
|
|
|
56 static int __attribute__ ((pure, const))
|
|
|
57 bark (void)
|
|
|
58 {
|
|
|
59 barf ();
|
|
|
60 }
|
|
|
61
|
|
|
62 int buzr (void)
|
|
|
63 {
|
|
|
64 int i, j;
|
|
|
65
|
|
|
66 i = j = bark () + bark ();
|
|
|
67
|
|
|
68 return i + 1;
|
|
|
69 }
|
|
|
70
|
|
|
71 int buzt (void)
|
|
|
72 {
|
|
|
73 int i, j;
|
|
|
74
|
|
|
75 i = j = barf () + barf ();
|
|
|
76
|
|
|
77 return i + 1;
|
|
|
78 }
|
|
|
79
|
|
|
80 void bust (void)
|
|
|
81 {
|
|
|
82 while (barf ())
|
|
|
83 ;
|
|
|
84 }
|
