3 files changed
+4
-3
lines changed+2-2
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
24 | 24 | | |
25 | 25 | | |
26 | 26 | | |
27 | | - | |
| 27 | + | |
28 | 28 | | |
29 | 29 | | |
30 | 30 | | |
| |||
46 | 46 | | |
47 | 47 | | |
48 | 48 | | |
49 | | - | |
| 49 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1626 | 1626 | | |
1627 | 1627 | | |
1628 | 1628 | | |
| 1629 | + | |
1629 | 1630 | | |
1630 | 1631 | | |
1631 | 1632 | | |
| |||
- .appveyor.yml
- .travis.yml+3
- Cargo.toml+1
- README.md+58-11
- benches/helpers/miri_helper.rs+6-3
- rust-version+1-1
- src/bin/cargo-miri.rs+206-182
- src/bin/miri-rustc-tests.rs+6-2
- src/bin/miri.rs+43-24
- src/fn_call.rs+53-13
- src/intrinsic.rs+32-14
- src/lib.rs+47-22
- src/operator.rs+31-19
- src/stacked_borrows.rs+31-31
- test-cargo-miri/Cargo.lock+197
- test-cargo-miri/Cargo.toml+3
- test-cargo-miri/run-test.py+9
- test-cargo-miri/src/main.rs+21-1
- test-cargo-miri/stderr.ref+1-1
- test-cargo-miri/stderr.ref2+3
- test-cargo-miri/test.stdout.ref+8-2
- test-cargo-miri/test.stdout.ref2+11
- test-cargo-miri/tests/test.rs+11-4
- tests/compile-fail/panic1.rs+1-1
- tests/compile-fail/panic2.rs+5
- tests/compile-fail/panic3.rs+5
- tests/compile-fail/panic4.rs+5
- tests/compile-fail/stacked_borrows/alias_through_mutation.rs+1-1
- tests/compile-fail/stacked_borrows/aliasing_mut3.rs+1-1
- tests/compile-fail/stacked_borrows/box_exclusive_violation1.rs+1-1
- tests/compile-fail/stacked_borrows/buggy_as_mut_slice.rs+1-1
- tests/compile-fail/stacked_borrows/buggy_split_at_mut.rs+1-1
- tests/compile-fail/stacked_borrows/illegal_read1.rs+1-1
- tests/compile-fail/stacked_borrows/illegal_read2.rs+1-1
- tests/compile-fail/stacked_borrows/illegal_read3.rs+1-1
- tests/compile-fail/stacked_borrows/illegal_read4.rs+1-1
- tests/compile-fail/stacked_borrows/illegal_read5.rs+1-1
- tests/compile-fail/stacked_borrows/illegal_write2.rs+1-1
- tests/compile-fail/stacked_borrows/illegal_write3.rs+1-1
- tests/compile-fail/stacked_borrows/illegal_write5.rs+1-1
- tests/compile-fail/stacked_borrows/load_invalid_mut.rs+1-1
- tests/compile-fail/stacked_borrows/outdated_local.rs+1-1
- tests/compile-fail/stacked_borrows/pass_invalid_mut.rs+1-1
- tests/compile-fail/stacked_borrows/pointer_smuggling.rs+1-1
- tests/compile-fail/stacked_borrows/return_invalid_mut.rs+1-1
- tests/compile-fail/stacked_borrows/return_invalid_mut_option.rs+1-1
- tests/compile-fail/stacked_borrows/return_invalid_mut_tuple.rs+1-1
- tests/compile-fail/stacked_borrows/transmute-is-no-escape.rs+1-1
- tests/compile-fail/stacked_borrows/unescaped_local.rs+1-1
- tests/run-pass/args.rs+5
- tests/run-pass/args.stdout+1
- tests/run-pass/async-fn.rs+17-11
- tests/run-pass/format.rs+1
- tests/run-pass/format.stdout+1
- tests/run-pass/function_pointers.rs+13-2
- tests/run-pass/hashmap.rs+1-1
- tests/run-pass/heap_system.rs+29
- tests/run-pass/iter.rs+40
- tests/run-pass/iter_any.rs-12
- tests/run-pass/iter_slice.rs-12
- tests/run-pass/rc.rs+10
- tests/run-pass/strings.rs+7
- tests/run-pass/vecdeque.rs+8
- tests/run-pass/vecdeque.stdout+2
- travis.sh+1-1
0 commit comments