1 #![warn(clippy::uninit_vec)]
3 use std::mem::MaybeUninit;
11 // with_capacity() -> set_len() should be detected
12 let mut vec: Vec<u8> = Vec::with_capacity(1000);
17 // reserve() -> set_len() should be detected
23 // new() -> set_len() should be detected
24 let mut vec: Vec<u8> = Vec::new();
29 // default() -> set_len() should be detected
30 let mut vec: Vec<u8> = Default::default();
35 let mut vec: Vec<u8> = Vec::default();
40 // test when both calls are enclosed in the same unsafe block
42 let mut vec: Vec<u8> = Vec::with_capacity(1000);
49 let mut vec: Vec<u8> = Vec::with_capacity(1000);
51 // test the case where there are other statements in the following unsafe block
53 assert!(vec.len() == 200);
56 // handle vec stored in the field of a struct
57 let mut my_vec = MyVec::default();
58 my_vec.vec.reserve(1000);
60 my_vec.vec.set_len(200);
63 my_vec.vec = Vec::with_capacity(1000);
65 my_vec.vec.set_len(200);
68 // Test `#[allow(...)]` attributes on inner unsafe block (shouldn't trigger)
69 let mut vec: Vec<u8> = Vec::with_capacity(1000);
70 #[allow(clippy::uninit_vec)]
75 // MaybeUninit-wrapped types should not be detected
77 let mut vec: Vec<MaybeUninit<u8>> = Vec::with_capacity(1000);
80 let mut vec: Vec<(MaybeUninit<u8>, MaybeUninit<bool>)> = Vec::with_capacity(1000);
83 let mut vec: Vec<(MaybeUninit<u8>, [MaybeUninit<bool>; 2])> = Vec::with_capacity(1000);
87 // known false negative
88 let mut vec1: Vec<u8> = Vec::with_capacity(1000);
89 let mut vec2: Vec<u8> = Vec::with_capacity(1000);