diff options
| author | bors <bors@rust-lang.org> | 2024-04-19 20:50:04 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-04-19 20:50:04 +0000 |
| commit | e9ebc6f80004e8f25af18ff3202a628538059275 (patch) | |
| tree | 6662be21ef041a59570d052d2093415b45b0bddf /tests/codegen/array-codegen.rs | |
| parent | 95ae2dd7fff88ae753bf44e42417e8ab52d15f93 (diff) | |
| parent | 9b419a1b83b41d22b400c67af82da596ce77de1a (diff) | |
| download | rust-e9ebc6f80004e8f25af18ff3202a628538059275.tar.gz rust-e9ebc6f80004e8f25af18ff3202a628538059275.zip | |
Auto merge of #3475 - RalfJung:reduce-reuse-recycle, r=RalfJung
Address reuse improvements and fixes - when an address gets reused, establish a happens-before link in the data race model - do not reuse stack addresses, and make the reuse rate configurable Fixes https://github.com/rust-lang/miri/issues/3450
Diffstat (limited to 'tests/codegen/array-codegen.rs')
0 files changed, 0 insertions, 0 deletions
