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

[perf] Reserve capacity for argvs.

Browse Source 
This avoids unnecessary allocations to grow vector to sufficient size.
This commit is contained in:
Taras Tsugrii 2023-08-07 22:34:54 -05:00 committed by GitHub
parent 31e9f7a6ef
commit fcceef1838
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/tools/miri/src/eval.rs
View File

@ -301,7 +301,7 @@ pub fn create_ecx<'mir, 'tcx: 'mir>(
// Third argument (`argv`): created from `config.args`. // Third argument (`argv`): created from `config.args`.
let argv = { let argv = {
// Put each argument in memory, collect pointers. // Put each argument in memory, collect pointers.
let mut argvs = Vec::<Immediate<Provenance>>::new(); let mut argvs = Vec::<Immediate<Provenance>>::with_capacity(config.args.len());
for arg in config.args.iter() { for arg in config.args.iter() {
// Make space for `0` terminator. // Make space for `0` terminator.
let size = u64::try_from(arg.len()).unwrap().checked_add(1).unwrap(); let size = u64::try_from(arg.len()).unwrap().checked_add(1).unwrap();