diff options
| author | bors <bors@rust-lang.org> | 2023-08-08 06:13:17 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-08-08 06:13:17 +0000 |
| commit | 4b2ec291ea29bcdcc892342b28ad954c16c49396 (patch) | |
| tree | ac5fdbe63b9575d4dc0d981ae6cc800a4512d9a3 | |
| parent | 31e9f7a6ef3ec981d4c9797f90f303e63c31f0b4 (diff) | |
| parent | fcceef1838b09cffdc94eca97788b45a29e1299f (diff) | |
| download | rust-4b2ec291ea29bcdcc892342b28ad954c16c49396.tar.gz rust-4b2ec291ea29bcdcc892342b28ad954c16c49396.zip | |
Auto merge of #3019 - ttsugriy:ttsugriy-patch-1-1, r=RalfJung
[perf] Reserve capacity for argvs. This avoids unnecessary allocations to grow vector to sufficient size.
| -rw-r--r-- | src/tools/miri/src/eval.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/src/eval.rs b/src/tools/miri/src/eval.rs index b761a6cf475..88e7d5386db 100644 --- a/src/tools/miri/src/eval.rs +++ b/src/tools/miri/src/eval.rs @@ -301,7 +301,7 @@ pub fn create_ecx<'mir, 'tcx: 'mir>( // Third argument (`argv`): created from `config.args`. let argv = { // 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() { // Make space for `0` terminator. let size = u64::try_from(arg.len()).unwrap().checked_add(1).unwrap(); |
