diff options
| author | The 8472 <git@infinite-source.de> | 2023-01-17 20:30:47 +0100 |
|---|---|---|
| committer | The 8472 <git@infinite-source.de> | 2023-01-17 22:01:33 +0100 |
| commit | 2d54b7ceb2a5c078f019fd2eacf70d59ea37555b (patch) | |
| tree | 52da3ab2e23ec5a4c0df9565348e7d12b7bacc5d /src | |
| parent | 47014b1bb968be08923a670b1ebfe4deb4256601 (diff) | |
| download | rust-2d54b7ceb2a5c078f019fd2eacf70d59ea37555b.tar.gz rust-2d54b7ceb2a5c078f019fd2eacf70d59ea37555b.zip | |
add miri regression test
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/tests/pass/vec.rs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/tools/miri/tests/pass/vec.rs b/src/tools/miri/tests/pass/vec.rs index 3a6655e2ba6..30a28bc5803 100644 --- a/src/tools/miri/tests/pass/vec.rs +++ b/src/tools/miri/tests/pass/vec.rs @@ -162,6 +162,11 @@ fn reverse() { assert!(v[0].0 == 49); } +fn miri_issue_2759() { + let mut input = "1".to_string(); + input.replace_range(0..0, "0"); +} + fn main() { assert_eq!(vec_reallocate().len(), 5); @@ -191,4 +196,5 @@ fn main() { swap(); swap_remove(); reverse(); + miri_issue_2759(); } |