diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2019-02-10 21:45:21 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-10 21:45:21 +0100 |
| commit | c3aa84700a2c35a4dc3d61d3b929dd7b3b011998 (patch) | |
| tree | 1d6d8bddbb06696f5e70c9a4d9775439d6a0b5e2 /src/libstd/sys/unix/stack_overflow.rs | |
| parent | a09aa0fde15673f8ba88a7ac082a63155f8c1ba0 (diff) | |
| parent | a01efbcbec2123429a7eaa73ce1c9198007af7cf (diff) | |
| download | rust-c3aa84700a2c35a4dc3d61d3b929dd7b3b011998.tar.gz rust-c3aa84700a2c35a4dc3d61d3b929dd7b3b011998.zip | |
Rollup merge of #58332 - RalfJung:miri-copy-nonoverlapping, r=oli-obk
operand-to-place copies should never be overlapping This seems to just work (verified with the Miri test suite). r? @oli-obk
Diffstat (limited to 'src/libstd/sys/unix/stack_overflow.rs')
0 files changed, 0 insertions, 0 deletions