about summary refs log tree commit diff
path: root/compiler/rustc_codegen_llvm/src/asm.rs
diff options
context:
space:
mode:
authorMatthias Krüger <matthias.krueger@famsik.de>2024-09-15 16:01:38 +0200
committerGitHub <noreply@github.com>2024-09-15 16:01:38 +0200
commit96195a5e240bac2061a828c8016ad73a3b9f2d37 (patch)
tree3c3c1a494707c103924d81deee7cf9e400901093 /compiler/rustc_codegen_llvm/src/asm.rs
parent18a93ca65ef4fc97e0455c52c460826b50594ea1 (diff)
parent268f6cf558fd689459648d702e67395908e7a6c5 (diff)
downloadrust-96195a5e240bac2061a828c8016ad73a3b9f2d37.tar.gz
rust-96195a5e240bac2061a828c8016ad73a3b9f2d37.zip
Rollup merge of #130342 - RalfJung:slice-idx-overflow, r=saethlin
interpret, miri: fix dealing with overflow during slice indexing and allocation

This is mostly to fix https://github.com/rust-lang/rust/issues/130284.

I then realized we're using somewhat sketchy arguments for a similar multiplication in `copy`/`copy_nonoverlapping`/`write_bytes`,  so I made them all share the same function that checks exactly the right thing. (The intrinsics would previously fail on allocations larger than `1 << 47` bytes... which are theoretically possible maybe? Anyway it seems conceptually wrong to use any other bound than `isize::MAX` here.)
Diffstat (limited to 'compiler/rustc_codegen_llvm/src/asm.rs')
0 files changed, 0 insertions, 0 deletions