1 // The output should warn when a loop label is not used. However, it
2 // should also deal with the edge cases where a label is shadowed,
5 // build-pass (FIXME(62277): could be check-pass?)
7 #![feature(label_break_value)]
8 #![warn(unused_labels)]
11 'unused_while_label
: while 0 == 0 {
12 //~^ WARN unused label
16 'unused_while_let_label
: while let Some(_
) = opt
{
17 //~^ WARN unused label
20 'unused_for_label
: for _
in 0..10 {
21 //~^ WARN unused label
24 'used_loop_label
: loop {
25 break 'used_loop_label
;
28 'used_loop_label_outer_1
: for _
in 0..10 {
29 'used_loop_label_inner_1
: for _
in 0..10 {
30 break 'used_loop_label_inner_1
;
32 break 'used_loop_label_outer_1
;
35 'used_loop_label_outer_2
: for _
in 0..10 {
36 'unused_loop_label_inner_2
: for _
in 0..10 {
37 //~^ WARN unused label
38 break 'used_loop_label_outer_2
;
42 'unused_loop_label_outer_3
: for _
in 0..10 {
43 //~^ WARN unused label
44 'used_loop_label_inner_3
: for _
in 0..10 {
45 break 'used_loop_label_inner_3
;
49 // You should be able to break the same label many times
58 // Test breaking many times with the same inner label doesn't break the
59 // warning on the outer label
60 'many_used_shadowed
: for _
in 0..10 {
61 //~^ WARN unused label
62 'many_used_shadowed
: for _
in 0..10 {
63 //~^ WARN label name `'many_used_shadowed` shadows a label name that is already in scope
65 break 'many_used_shadowed
;
67 break 'many_used_shadowed
;
72 'unused_loop_label
: loop {
73 //~^ WARN unused label
77 // Make sure unused block labels give warnings...
78 'unused_block_label
: {
79 //~^ WARN unused label
82 // ...and that used ones don't:
84 break 'used_block_label
;