mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Auto merge of #3027 - ttsugriy:range-map, r=RalfJung

Browse Source 
Avoid unnecessary Vec resize.

If `size > 0` current implementation will first create an empty vec and then push an element into it, which will cause a resize that can be easily avoided.

It's obviously not a big deal, but this also gets rid of `mut` local variable.
This commit is contained in:
bors 2023-08-16 17:13:42 +00:00
commit 6249c70dbb
1 changed files with 2 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/tools/miri/src/range_map.rs
View File

@ -27,11 +27,8 @@ impl<T> RangeMap<T> {
#[inline(always)] #[inline(always)]
pub fn new(size: Size, init: T) -> RangeMap<T> { pub fn new(size: Size, init: T) -> RangeMap<T> {
let size = size.bytes(); let size = size.bytes();
let mut map = RangeMap { v: Vec::new() }; let v = if size > 0 { vec![Elem { range: 0..size, data: init }] } else { Vec::new() };
if size > 0 { RangeMap { v }
map.v.push(Elem { range: 0..size, data: init });
}
map
} }
/// Finds the index containing the given offset. /// Finds the index containing the given offset.