tests/ui/lint/unused_labels.rs

   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,
   3 // within nested loops
   4
   5 // check-pass
   6
   7 #![warn(unused_labels)]
   8
   9 fn main() {
  10     'unused_while_label: while 0 == 0 {
  11         //~^ WARN unused label
  12     }
  13
  14     let opt = Some(0);
  15     'unused_while_let_label: while let Some(_) = opt {
  16         //~^ WARN unused label
  17     }
  18
  19     'unused_for_label: for _ in 0..10 {
  20         //~^ WARN unused label
  21     }
  22
  23     'used_loop_label: loop {
  24         break 'used_loop_label;
  25     }
  26
  27     'used_loop_label_outer_1: for _ in 0..10 {
  28         'used_loop_label_inner_1: for _ in 0..10 {
  29             break 'used_loop_label_inner_1;
  30         }
  31         break 'used_loop_label_outer_1;
  32     }
  33
  34     'used_loop_label_outer_2: for _ in 0..10 {
  35         'unused_loop_label_inner_2: for _ in 0..10 {
  36             //~^ WARN unused label
  37             break 'used_loop_label_outer_2;
  38         }
  39     }
  40
  41     'unused_loop_label_outer_3: for _ in 0..10 {
  42         //~^ WARN unused label
  43         'used_loop_label_inner_3: for _ in 0..10 {
  44             break 'used_loop_label_inner_3;
  45         }
  46     }
  47
  48     // You should be able to break the same label many times
  49     'many_used: loop {
  50         if true {
  51             break 'many_used;
  52         } else {
  53             break 'many_used;
  54         }
  55     }
  56
  57     // Test breaking many times with the same inner label doesn't break the
  58     // warning on the outer label
  59     'many_used_shadowed: for _ in 0..10 {
  60         //~^ WARN unused label
  61         'many_used_shadowed: for _ in 0..10 {
  62             //~^ WARN label name `'many_used_shadowed` shadows a label name that is already in scope
  63             if 1 % 2 == 0 {
  64                 break 'many_used_shadowed;
  65             } else {
  66                 break 'many_used_shadowed;
  67             }
  68         }
  69     }
  70
  71     'unused_loop_label: loop {
  72         //~^ WARN unused label
  73         break;
  74     }
  75
  76     // Make sure unused block labels give warnings...
  77     'unused_block_label: {
  78         //~^ WARN unused label
  79     }
  80
  81     // ...and that used ones don't:
  82     'used_block_label: {
  83         break 'used_block_label;
  84     }
  85 }