tests/ui/for_loop.rs

   1 #![feature(plugin, step_by, inclusive_range_syntax)]
   2 #![plugin(clippy)]
   3
   4 use std::collections::*;
   5 use std::rc::Rc;
   6
   7 static STATIC: [usize; 4] = [ 0,  1,  8, 16 ];
   8 const CONST: [usize; 4] = [ 0,  1,  8, 16 ];
   9
  10 #[deny(clippy)]
  11 fn for_loop_over_option_and_result() {
  12     let option = Some(1);
  13     let result = option.ok_or("x not found");
  14     let v = vec![0,1,2];
  15
  16     // check FOR_LOOP_OVER_OPTION lint
  17
  18     for x in option {
  19
  20
  21         println!("{}", x);
  22     }
  23
  24     // check FOR_LOOP_OVER_RESULT lint
  25
  26     for x in result {
  27
  28
  29         println!("{}", x);
  30     }
  31
  32     for x in option.ok_or("x not found") {
  33
  34
  35         println!("{}", x);
  36     }
  37
  38     // make sure LOOP_OVER_NEXT lint takes precedence when next() is the last call in the chain
  39
  40     for x in v.iter().next() {
  41
  42         println!("{}", x);
  43     }
  44
  45     // make sure we lint when next() is not the last call in the chain
  46
  47     for x in v.iter().next().and(Some(0)) {
  48
  49
  50         println!("{}", x);
  51     }
  52
  53     for x in v.iter().next().ok_or("x not found") {
  54
  55
  56         println!("{}", x);
  57     }
  58
  59     // check for false positives
  60
  61     // for loop false positive
  62     for x in v {
  63         println!("{}", x);
  64     }
  65
  66     // while let false positive for Option
  67     while let Some(x) = option {
  68         println!("{}", x);
  69         break;
  70     }
  71
  72     // while let false positive for Result
  73     while let Ok(x) = result {
  74         println!("{}", x);
  75         break;
  76     }
  77 }
  78
  79 struct Unrelated(Vec<u8>);
  80 impl Unrelated {
  81     fn next(&self) -> std::slice::Iter<u8> {
  82         self.0.iter()
  83     }
  84
  85     fn iter(&self) -> std::slice::Iter<u8> {
  86         self.0.iter()
  87     }
  88 }
  89
  90 #[deny(needless_range_loop, explicit_iter_loop, explicit_into_iter_loop, iter_next_loop, reverse_range_loop, explicit_counter_loop, for_kv_map)]
  91 #[deny(unused_collect)]
  92 #[allow(linkedlist, shadow_unrelated, unnecessary_mut_passed, cyclomatic_complexity, similar_names)]
  93 #[allow(many_single_char_names)]
  94 fn main() {
  95     const MAX_LEN: usize = 42;
  96
  97     let mut vec = vec![1, 2, 3, 4];
  98     let vec2 = vec![1, 2, 3, 4];
  99     for i in 0..vec.len() {
 100
 101
 102
 103
 104         println!("{}", vec[i]);
 105     }
 106
 107     for i in 0..vec.len() {
 108
 109         let i = 42; // make a different `i`
 110         println!("{}", vec[i]); // ok, not the `i` of the for-loop
 111     }
 112
 113     for i in 0..vec.len() { let _ = vec[i]; }
 114
 115
 116
 117
 118
 119     // ICE #746
 120     for j in 0..4 {
 121
 122
 123
 124
 125         println!("{:?}", STATIC[j]);
 126     }
 127
 128     for j in 0..4 {
 129
 130
 131
 132
 133         println!("{:?}", CONST[j]);
 134     }
 135
 136     for i in 0..vec.len() {
 137
 138
 139
 140
 141         println!("{} {}", vec[i], i);
 142     }
 143     for i in 0..vec.len() {      // not an error, indexing more than one variable
 144         println!("{} {}", vec[i], vec2[i]);
 145     }
 146
 147     for i in 0..vec.len() {
 148
 149
 150
 151
 152         println!("{}", vec2[i]);
 153     }
 154
 155     for i in 5..vec.len() {
 156
 157
 158
 159
 160         println!("{}", vec[i]);
 161     }
 162
 163     for i in 0..MAX_LEN {
 164
 165
 166
 167
 168         println!("{}", vec[i]);
 169     }
 170
 171     for i in 0...MAX_LEN {
 172
 173
 174
 175
 176         println!("{}", vec[i]);
 177     }
 178
 179     for i in 5..10 {
 180
 181
 182
 183
 184         println!("{}", vec[i]);
 185     }
 186
 187     for i in 5...10 {
 188
 189
 190
 191
 192         println!("{}", vec[i]);
 193     }
 194
 195     for i in 5..vec.len() {
 196
 197
 198
 199
 200         println!("{} {}", vec[i], i);
 201     }
 202
 203     for i in 5..10 {
 204
 205
 206
 207
 208         println!("{} {}", vec[i], i);
 209     }
 210
 211     for i in 10..0 {
 212
 213
 214
 215         println!("{}", i);
 216     }
 217
 218     for i in 10...0 {
 219
 220
 221
 222         println!("{}", i);
 223     }
 224
 225     for i in MAX_LEN..0 {
 226
 227
 228         println!("{}", i);
 229     }
 230
 231     for i in 5..5 {
 232         println!("{}", i);
 233     }
 234
 235     for i in 5...5 { // not an error, this is the range with only one element “5”
 236         println!("{}", i);
 237     }
 238
 239     for i in 0..10 { // not an error, the start index is less than the end index
 240         println!("{}", i);
 241     }
 242
 243     for i in -10..0 { // not an error
 244         println!("{}", i);
 245     }
 246
 247     for i in (10..0).map(|x| x * 2) { // not an error, it can't be known what arbitrary methods do to a range
 248         println!("{}", i);
 249     }
 250
 251     // testing that the empty range lint folds constants
 252     for i in 10..5+4 {
 253
 254
 255
 256         println!("{}", i);
 257     }
 258
 259     for i in (5+2)..(3-1) {
 260
 261
 262
 263         println!("{}", i);
 264     }
 265
 266     for i in (5+2)..(8-1) {
 267         println!("{}", i);
 268     }
 269
 270     for i in (2*2)..(2*3) { // no error, 4..6 is fine
 271         println!("{}", i);
 272     }
 273
 274     for i in (10..8).step_by(-1) {
 275         println!("{}", i);
 276     }
 277
 278     let x = 42;
 279     for i in x..10 { // no error, not constant-foldable
 280         println!("{}", i);
 281     }
 282
 283     // See #601
 284     for i in 0..10 { // no error, id_col does not exist outside the loop
 285         let mut id_col = vec![0f64; 10];
 286         id_col[i] = 1f64;
 287     }
 288
 289     for _v in vec.iter() { }
 290
 291
 292
 293
 294     for _v in vec.iter_mut() { }
 295
 296
 297
 298
 299     let out_vec = vec![1,2,3];
 300     for _v in out_vec.into_iter() { }
 301
 302
 303
 304
 305     let array = [1, 2, 3];
 306     for _v in array.into_iter() {} //~ERROR it is more idiomatic to loop over `&array`
 307
 308     for _v in &vec { } // these are fine
 309     for _v in &mut vec { } // these are fine
 310
 311     for _v in [1, 2, 3].iter() { }
 312
 313
 314
 315
 316     for _v in (&mut [1, 2, 3]).iter() { } // no error
 317
 318     for _v in [0; 32].iter() {}
 319
 320
 321
 322
 323     for _v in [0; 33].iter() {} // no error
 324
 325     let ll: LinkedList<()> = LinkedList::new();
 326     for _v in ll.iter() { }
 327
 328
 329
 330
 331     let vd: VecDeque<()> = VecDeque::new();
 332     for _v in vd.iter() { }
 333
 334
 335
 336
 337     let bh: BinaryHeap<()> = BinaryHeap::new();
 338     for _v in bh.iter() { }
 339
 340
 341
 342
 343     let hm: HashMap<(), ()> = HashMap::new();
 344     for _v in hm.iter() { }
 345
 346
 347
 348
 349     let bt: BTreeMap<(), ()> = BTreeMap::new();
 350     for _v in bt.iter() { }
 351
 352
 353
 354
 355     let hs: HashSet<()> = HashSet::new();
 356     for _v in hs.iter() { }
 357
 358
 359
 360
 361     let bs: BTreeSet<()> = BTreeSet::new();
 362     for _v in bs.iter() { }
 363
 364
 365
 366
 367
 368     for _v in vec.iter().next() { }
 369
 370     let u = Unrelated(vec![]);
 371     for _v in u.next() { } // no error
 372     for _v in u.iter() { } // no error
 373
 374     let mut out = vec![];
 375     vec.iter().map(|x| out.push(x)).collect::<Vec<_>>();
 376     let _y = vec.iter().map(|x| out.push(x)).collect::<Vec<_>>(); // this is fine
 377
 378     // Loop with explicit counter variable
 379     let mut _index = 0;
 380     for _v in &vec { _index += 1 }
 381
 382     let mut _index = 1;
 383     _index = 0;
 384     for _v in &vec { _index += 1 }
 385
 386     // Potential false positives
 387     let mut _index = 0;
 388     _index = 1;
 389     for _v in &vec { _index += 1 }
 390
 391     let mut _index = 0;
 392     _index += 1;
 393     for _v in &vec { _index += 1 }
 394
 395     let mut _index = 0;
 396     if true { _index = 1 }
 397     for _v in &vec { _index += 1 }
 398
 399     let mut _index = 0;
 400     let mut _index = 1;
 401     for _v in &vec { _index += 1 }
 402
 403     let mut _index = 0;
 404     for _v in &vec { _index += 1; _index += 1 }
 405
 406     let mut _index = 0;
 407     for _v in &vec { _index *= 2; _index += 1 }
 408
 409     let mut _index = 0;
 410     for _v in &vec { _index = 1; _index += 1 }
 411
 412     let mut _index = 0;
 413
 414     for _v in &vec { let mut _index = 0; _index += 1 }
 415
 416     let mut _index = 0;
 417     for _v in &vec { _index += 1; _index = 0; }
 418
 419     let mut _index = 0;
 420     for _v in &vec { for _x in 0..1 { _index += 1; }; _index += 1 }
 421
 422     let mut _index = 0;
 423     for x in &vec { if *x == 1 { _index += 1 } }
 424
 425     let mut _index = 0;
 426     if true { _index = 1 };
 427     for _v in &vec { _index += 1 }
 428
 429     let mut _index = 1;
 430     if false { _index = 0 };
 431     for _v in &vec { _index += 1 }
 432
 433     let mut index = 0;
 434     { let mut _x = &mut index; }
 435     for _v in &vec { _index += 1 }
 436
 437     let mut index = 0;
 438     for _v in &vec { index += 1 }
 439     println!("index: {}", index);
 440
 441     for_loop_over_option_and_result();
 442
 443     let m : HashMap<u64, u64> = HashMap::new();
 444     for (_, v) in &m {
 445
 446
 447
 448
 449         let _v = v;
 450     }
 451
 452     let m : Rc<HashMap<u64, u64>> = Rc::new(HashMap::new());
 453     for (_, v) in &*m {
 454
 455
 456
 457
 458         let _v = v;
 459         // Here the `*` is not actually necesarry, but the test tests that we don't suggest
 460         // `in *m.values()` as we used to
 461     }
 462
 463     let mut m : HashMap<u64, u64> = HashMap::new();
 464     for (_, v) in &mut m {
 465
 466
 467
 468
 469         let _v = v;
 470     }
 471
 472     let m: &mut HashMap<u64, u64> = &mut HashMap::new();
 473     for (_, v) in &mut *m {
 474
 475
 476
 477
 478         let _v = v;
 479     }
 480
 481     let m : HashMap<u64, u64> = HashMap::new();
 482     let rm = &m;
 483     for (k, _value) in rm {
 484
 485
 486
 487
 488         let _k = k;
 489     }
 490
 491     test_for_kv_map();
 492 }
 493
 494 #[allow(used_underscore_binding)]
 495 fn test_for_kv_map() {
 496     let m : HashMap<u64, u64> = HashMap::new();
 497
 498     // No error, _value is actually used
 499     for (k, _value) in &m {
 500         let _ = _value;
 501         let _k = k;
 502     }
 503 }