diff options
| author | bors <bors@rust-lang.org> | 2024-07-26 12:52:57 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-07-26 12:52:57 +0000 |
| commit | bf4d4c035d350e13cbdb93fdbbbd3eb3880ee295 (patch) | |
| tree | ff3be865beacbcd2cf6dba81b1bd3374d71fce44 /compiler/rustc_codegen_llvm/src | |
| parent | f98fdfc8a449bf535602b971e8eb12fd282de305 (diff) | |
| parent | 5e1f8e2d07d2a32a1f234cf80efcb703aa87a989 (diff) | |
| download | rust-bf4d4c035d350e13cbdb93fdbbbd3eb3880ee295.tar.gz rust-bf4d4c035d350e13cbdb93fdbbbd3eb3880ee295.zip | |
Auto merge of #3766 - RalfJung:tree-borrows-int2ptr, r=RalfJung
better diagnostics for Tree Borrows + int2ptr casts - Entirely reject `-Zmiri-permissive-provenance -Zmiri-tree-borrows` since that combination just doesn't work - In the int2ptr cast warning, when Tree Borrows is enabled, do not recommend `-Zmiri-permissive-provenance`, instead note that Tree Borrows does not support int2ptr casts Fixes https://github.com/rust-lang/miri/issues/3764
Diffstat (limited to 'compiler/rustc_codegen_llvm/src')
0 files changed, 0 insertions, 0 deletions