annotate gcc/testsuite/gcc.dg/Wjump-misses-init-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 /* { dg-do compile } */
kono
parents:
diff changeset
2 /* { dg-options "-Wjump-misses-init -Wno-switch-unreachable" } */
kono
parents:
diff changeset
3 int
kono
parents:
diff changeset
4 f1 (int a)
kono
parents:
diff changeset
5 {
kono
parents:
diff changeset
6 if (a > 0)
kono
parents:
diff changeset
7 {
kono
parents:
diff changeset
8 int i = 7; /* { dg-message "here" } */
kono
parents:
diff changeset
9 lab: /* { dg-message "here" } */
kono
parents:
diff changeset
10 return a;
kono
parents:
diff changeset
11 }
kono
parents:
diff changeset
12 else
kono
parents:
diff changeset
13 {
kono
parents:
diff changeset
14 if (a < 0)
kono
parents:
diff changeset
15 goto lab; /* { dg-warning "jump" } */
kono
parents:
diff changeset
16 return 1;
kono
parents:
diff changeset
17 }
kono
parents:
diff changeset
18 }
kono
parents:
diff changeset
19
kono
parents:
diff changeset
20 int
kono
parents:
diff changeset
21 f2 (int a)
kono
parents:
diff changeset
22 {
kono
parents:
diff changeset
23 if (a > 0)
kono
parents:
diff changeset
24 {
kono
parents:
diff changeset
25 if (a < 0)
kono
parents:
diff changeset
26 goto lab; /* { dg-warning "jump" } */
kono
parents:
diff changeset
27 return 1;
kono
parents:
diff changeset
28 }
kono
parents:
diff changeset
29 else
kono
parents:
diff changeset
30 {
kono
parents:
diff changeset
31 int i = 7; /* { dg-message "here" } */
kono
parents:
diff changeset
32 lab: /* { dg-message "here" } */
kono
parents:
diff changeset
33 return a;
kono
parents:
diff changeset
34 }
kono
parents:
diff changeset
35 }
kono
parents:
diff changeset
36
kono
parents:
diff changeset
37 int
kono
parents:
diff changeset
38 f3 (int a)
kono
parents:
diff changeset
39 {
kono
parents:
diff changeset
40 if (a > 0)
kono
parents:
diff changeset
41 {
kono
parents:
diff changeset
42 static int i = 7;
kono
parents:
diff changeset
43 lab:
kono
parents:
diff changeset
44 return a;
kono
parents:
diff changeset
45 }
kono
parents:
diff changeset
46 else
kono
parents:
diff changeset
47 {
kono
parents:
diff changeset
48 if (a < 0)
kono
parents:
diff changeset
49 goto lab;
kono
parents:
diff changeset
50 return 1;
kono
parents:
diff changeset
51 }
kono
parents:
diff changeset
52 }
kono
parents:
diff changeset
53
kono
parents:
diff changeset
54 int
kono
parents:
diff changeset
55 f4 (int a)
kono
parents:
diff changeset
56 {
kono
parents:
diff changeset
57 if (a > 0)
kono
parents:
diff changeset
58 {
kono
parents:
diff changeset
59 if (a < 0)
kono
parents:
diff changeset
60 goto lab;
kono
parents:
diff changeset
61 return 1;
kono
parents:
diff changeset
62 }
kono
parents:
diff changeset
63 else
kono
parents:
diff changeset
64 {
kono
parents:
diff changeset
65 static int i = 7;
kono
parents:
diff changeset
66 lab:
kono
parents:
diff changeset
67 return a;
kono
parents:
diff changeset
68 }
kono
parents:
diff changeset
69 }
kono
parents:
diff changeset
70
kono
parents:
diff changeset
71 int
kono
parents:
diff changeset
72 f5 (int a)
kono
parents:
diff changeset
73 {
kono
parents:
diff changeset
74 if (a > 0)
kono
parents:
diff changeset
75 {
kono
parents:
diff changeset
76 int b = 1;
kono
parents:
diff changeset
77 if (a < 0)
kono
parents:
diff changeset
78 goto lab;
kono
parents:
diff changeset
79 }
kono
parents:
diff changeset
80 lab:
kono
parents:
diff changeset
81 return a;
kono
parents:
diff changeset
82 }
kono
parents:
diff changeset
83
kono
parents:
diff changeset
84 int
kono
parents:
diff changeset
85 f6 (int a)
kono
parents:
diff changeset
86 {
kono
parents:
diff changeset
87 if (a > 0)
kono
parents:
diff changeset
88 {
kono
parents:
diff changeset
89 lab:
kono
parents:
diff changeset
90 return a;
kono
parents:
diff changeset
91 }
kono
parents:
diff changeset
92 else
kono
parents:
diff changeset
93 {
kono
parents:
diff changeset
94 int b = 1;
kono
parents:
diff changeset
95 goto lab;
kono
parents:
diff changeset
96 }
kono
parents:
diff changeset
97 }
kono
parents:
diff changeset
98
kono
parents:
diff changeset
99 int
kono
parents:
diff changeset
100 f7 (int a)
kono
parents:
diff changeset
101 {
kono
parents:
diff changeset
102 switch (a) /* { dg-message "switch" } */
kono
parents:
diff changeset
103 {
kono
parents:
diff changeset
104 int b = 1; /* { dg-message "here" } */
kono
parents:
diff changeset
105
kono
parents:
diff changeset
106 case 1: /* { dg-warning "jump" } */
kono
parents:
diff changeset
107 return a;
kono
parents:
diff changeset
108 }
kono
parents:
diff changeset
109 }
kono
parents:
diff changeset
110
kono
parents:
diff changeset
111 int
kono
parents:
diff changeset
112 f8 (int a)
kono
parents:
diff changeset
113 {
kono
parents:
diff changeset
114 switch (a) /* { dg-message "switch" } */
kono
parents:
diff changeset
115 {
kono
parents:
diff changeset
116 int b = 1; /* { dg-message "here" } */
kono
parents:
diff changeset
117
kono
parents:
diff changeset
118 case 1: /* { dg-warning "jump" } */
kono
parents:
diff changeset
119 goto lab;
kono
parents:
diff changeset
120 }
kono
parents:
diff changeset
121 lab:
kono
parents:
diff changeset
122 return a;
kono
parents:
diff changeset
123 }
kono
parents:
diff changeset
124
kono
parents:
diff changeset
125 int
kono
parents:
diff changeset
126 f9 (int a)
kono
parents:
diff changeset
127 {
kono
parents:
diff changeset
128 switch (a)
kono
parents:
diff changeset
129 {
kono
parents:
diff changeset
130 case 0:
kono
parents:
diff changeset
131 {
kono
parents:
diff changeset
132 int b = 1;
kono
parents:
diff changeset
133 return b;
kono
parents:
diff changeset
134 }
kono
parents:
diff changeset
135 case 1:
kono
parents:
diff changeset
136 return a;
kono
parents:
diff changeset
137 }
kono
parents:
diff changeset
138 }
kono
parents:
diff changeset
139
kono
parents:
diff changeset
140 int
kono
parents:
diff changeset
141 f10 (int a)
kono
parents:
diff changeset
142 {
kono
parents:
diff changeset
143 switch (a)
kono
parents:
diff changeset
144 {
kono
parents:
diff changeset
145 case 0:
kono
parents:
diff changeset
146 {
kono
parents:
diff changeset
147 int b = 1;
kono
parents:
diff changeset
148 goto lab;
kono
parents:
diff changeset
149 }
kono
parents:
diff changeset
150
kono
parents:
diff changeset
151 case 1:
kono
parents:
diff changeset
152 goto lab;
kono
parents:
diff changeset
153 }
kono
parents:
diff changeset
154 lab:
kono
parents:
diff changeset
155 return a;
kono
parents:
diff changeset
156 }