diff options
| author | Ralf Jung <post@ralfj.de> | 2020-05-25 11:01:05 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-25 11:01:05 +0200 |
| commit | 4a5a6559d315559d18c90442d1203f1e73ae8960 (patch) | |
| tree | ffb7a37323677172690d8ae2a9824f1d855d1b37 /library/std/src/sys/unix/stack_overflow.rs | |
| parent | bf816e0349ca9ede06b3e9a99b521a6d0b74e855 (diff) | |
| parent | 8b5ba4a3c62e9f663d5f8db1dc4fff245d291c4b (diff) | |
| download | rust-4a5a6559d315559d18c90442d1203f1e73ae8960.tar.gz rust-4a5a6559d315559d18c90442d1203f1e73ae8960.zip | |
Rollup merge of #72525 - RalfJung:miri-cast-checks, r=eddyb
Miri casts: do not blindly rely on dest type Make sure that we notice when the MIR is bad and the casted-to and destination type are e.g. of different size, as suggested by @eddyb.
Diffstat (limited to 'library/std/src/sys/unix/stack_overflow.rs')
0 files changed, 0 insertions, 0 deletions