diff options
| author | bors <bors@rust-lang.org> | 2023-03-18 10:22:38 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-03-18 10:22:38 +0000 |
| commit | 7b1c5b66be8b4986a85b3d3889ebd0e905484420 (patch) | |
| tree | 8337c605f1d65aa7cf1c663fa1036210fcd629ca /tests/codegen/src-hash-algorithm | |
| parent | 3831a254905873af4da996ab21c6f9f3d4050051 (diff) | |
| parent | c3780602ec5c90e2feede53d06efb84ca07e87cf (diff) | |
| download | rust-7b1c5b66be8b4986a85b3d3889ebd0e905484420.tar.gz rust-7b1c5b66be8b4986a85b3d3889ebd0e905484420.zip | |
Auto merge of #2814 - saethlin:warn-on-optimization, r=RalfJung
Emit a warning when Miri is used with optimizations This may address https://github.com/rust-lang/miri/issues/2797, by clarifying to the user what is going on and what the consequences of their choices are. Fixes https://github.com/rust-lang/miri/issues/2797
Diffstat (limited to 'tests/codegen/src-hash-algorithm')
0 files changed, 0 insertions, 0 deletions