]> git.lizzy.rs Git - rust.git/blob - src/test/incremental/hashes/while_let_loops.rs
Bless incremental tests
[rust.git] / src / test / incremental / hashes / while_let_loops.rs
1 // This test case tests the incremental compilation hash (ICH) implementation
2 // for `while let` loops.
3
4 // The general pattern followed here is: Change one thing between rev1 and rev2
5 // and make sure that the hash has changed, then change nothing between rev2 and
6 // rev3 and make sure that the hash has not changed.
7
8 // build-pass (FIXME(62277): could be check-pass?)
9 // revisions: cfail1 cfail2 cfail3 cfail4 cfail5 cfail6
10 // compile-flags: -Z query-dep-graph -O
11 // [cfail1]compile-flags: -Zincremental-ignore-spans
12 // [cfail2]compile-flags: -Zincremental-ignore-spans
13 // [cfail3]compile-flags: -Zincremental-ignore-spans
14 // [cfail4]compile-flags: -Zincremental-relative-spans
15 // [cfail5]compile-flags: -Zincremental-relative-spans
16 // [cfail6]compile-flags: -Zincremental-relative-spans
17
18 #![allow(warnings)]
19 #![feature(rustc_attrs)]
20 #![crate_type="rlib"]
21
22
23 // Change loop body
24 #[cfg(any(cfail1,cfail4))]
25 pub fn change_loop_body() {
26     let mut _x = 0;
27     while let Some(0u32) = None {
28         _x = 1;
29         break;
30     }
31 }
32
33 #[cfg(not(any(cfail1,cfail4)))]
34 #[rustc_clean(cfg="cfail2", except="hir_owner_nodes")]
35 #[rustc_clean(cfg="cfail3")]
36 #[rustc_clean(cfg="cfail5", except="hir_owner_nodes")]
37 #[rustc_clean(cfg="cfail6")]
38 pub fn change_loop_body() {
39     let mut _x = 0;
40     while let Some(0u32) = None {
41         _x = 2;
42         break;
43     }
44 }
45
46
47
48 // Change loop body
49 #[cfg(any(cfail1,cfail4))]
50 pub fn change_loop_condition() {
51     let mut _x = 0;
52     while let Some(0u32) = None {
53         _x = 1;
54         break;
55     }
56 }
57
58 #[cfg(not(any(cfail1,cfail4)))]
59 #[rustc_clean(cfg="cfail2", except="hir_owner_nodes")]
60 #[rustc_clean(cfg="cfail3")]
61 #[rustc_clean(cfg="cfail5", except="hir_owner_nodes")]
62 #[rustc_clean(cfg="cfail6")]
63 pub fn change_loop_condition() {
64     let mut _x = 0;
65     while let Some(1u32) = None {
66         _x = 1;
67         break;
68     }
69 }
70
71
72
73 // Add break
74 #[cfg(any(cfail1,cfail4))]
75 pub fn add_break() {
76     let mut _x = 0;
77     while let Some(0u32) = None {
78         _x = 1;
79         // ---
80     }
81 }
82
83 #[cfg(not(any(cfail1,cfail4)))]
84 #[rustc_clean(cfg="cfail2", except="hir_owner_nodes, typeck")]
85 #[rustc_clean(cfg="cfail3")]
86 #[rustc_clean(cfg="cfail5", except="hir_owner_nodes, typeck")]
87 #[rustc_clean(cfg="cfail6")]
88 pub fn add_break() {
89     let mut _x = 0;
90     while let Some(0u32) = None {
91         _x = 1;
92         break;
93     }
94 }
95
96
97
98 // Add loop label
99 #[cfg(any(cfail1,cfail4))]
100 pub fn add_loop_label() {
101     let mut _x = 0;
102             while let Some(0u32) = None {
103         _x = 1;
104         break;
105     }
106 }
107
108 #[cfg(not(any(cfail1,cfail4)))]
109 #[rustc_clean(cfg="cfail2", except="hir_owner_nodes")]
110 #[rustc_clean(cfg="cfail3")]
111 #[rustc_clean(cfg="cfail5", except="hir_owner_nodes")]
112 #[rustc_clean(cfg="cfail6")]
113 pub fn add_loop_label() {
114     let mut _x = 0;
115     'label: while let Some(0u32) = None {
116         _x = 1;
117         break;
118     }
119 }
120
121
122
123 // Add loop label to break
124 #[cfg(any(cfail1,cfail4))]
125 pub fn add_loop_label_to_break() {
126     let mut _x = 0;
127     'label: while let Some(0u32) = None {
128         _x = 1;
129         break       ;
130     }
131 }
132
133 #[cfg(not(any(cfail1,cfail4)))]
134 #[rustc_clean(cfg="cfail2", except="hir_owner_nodes")]
135 #[rustc_clean(cfg="cfail3")]
136 #[rustc_clean(cfg="cfail5", except="hir_owner_nodes")]
137 #[rustc_clean(cfg="cfail6")]
138 pub fn add_loop_label_to_break() {
139     let mut _x = 0;
140     'label: while let Some(0u32) = None {
141         _x = 1;
142         break 'label;
143     }
144 }
145
146
147
148 // Change break label
149 #[cfg(any(cfail1,cfail4))]
150 pub fn change_break_label() {
151     let mut _x = 0;
152     'outer: while let Some(0u32) = None {
153         'inner: while let Some(0u32) = None {
154             _x = 1;
155             break 'inner;
156         }
157     }
158 }
159
160 #[cfg(not(any(cfail1,cfail4)))]
161 #[rustc_clean(cfg="cfail2", except="hir_owner_nodes")]
162 #[rustc_clean(cfg="cfail3")]
163 #[rustc_clean(cfg="cfail5", except="hir_owner_nodes")]
164 #[rustc_clean(cfg="cfail6")]
165 pub fn change_break_label() {
166     let mut _x = 0;
167     'outer: while let Some(0u32) = None {
168         'inner: while let Some(0u32) = None {
169             _x = 1;
170             break 'outer;
171         }
172     }
173 }
174
175 // Add loop label to continue
176 #[cfg(any(cfail1,cfail4))]
177 pub fn add_loop_label_to_continue() {
178     let mut _x = 0;
179     'label: while let Some(0u32) = None {
180         _x = 1;
181         continue       ;
182     }
183 }
184
185 #[cfg(not(any(cfail1,cfail4)))]
186 #[rustc_clean(cfg="cfail2", except="hir_owner_nodes")]
187 #[rustc_clean(cfg="cfail3")]
188 #[rustc_clean(cfg="cfail5", except="hir_owner_nodes")]
189 #[rustc_clean(cfg="cfail6")]
190 pub fn add_loop_label_to_continue() {
191     let mut _x = 0;
192     'label: while let Some(0u32) = None {
193         _x = 1;
194         continue 'label;
195     }
196 }
197
198
199
200 // Change continue label
201 #[cfg(any(cfail1,cfail4))]
202 pub fn change_continue_label() {
203     let mut _x = 0;
204     'outer: while let Some(0u32) = None {
205         'inner: while let Some(0u32) = None {
206             _x = 1;
207             continue 'inner;
208         }
209     }
210 }
211
212 #[cfg(not(any(cfail1,cfail4)))]
213 #[rustc_clean(cfg="cfail2", except="hir_owner_nodes")]
214 #[rustc_clean(cfg="cfail3")]
215 #[rustc_clean(cfg="cfail5", except="hir_owner_nodes")]
216 #[rustc_clean(cfg="cfail6")]
217 pub fn change_continue_label() {
218     let mut _x = 0;
219     'outer: while let Some(0u32) = None {
220         'inner: while let Some(0u32) = None {
221             _x = 1;
222             continue 'outer;
223         }
224     }
225 }
226
227
228
229 // Change continue to break
230 #[cfg(any(cfail1,cfail4))]
231 pub fn change_continue_to_break() {
232     let mut _x = 0;
233     while let Some(0u32) = None {
234         _x = 1;
235         continue;
236     }
237 }
238
239 #[cfg(not(any(cfail1,cfail4)))]
240 #[rustc_clean(cfg="cfail2", except="hir_owner_nodes")]
241 #[rustc_clean(cfg="cfail3")]
242 #[rustc_clean(cfg="cfail5", except="hir_owner_nodes")]
243 #[rustc_clean(cfg="cfail6")]
244 pub fn change_continue_to_break() {
245     let mut _x = 0;
246     while let Some(0u32) = None {
247         _x = 1;
248         break   ;
249     }
250 }