about summary refs log tree commit diff
path: root/compiler/rustc_driver/src
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2022-03-03 12:56:24 +0000
committerbors <bors@rust-lang.org>2022-03-03 12:56:24 +0000
commit45660949132222ba7ec0905649b2affd68e0e13c (patch)
tree49652919f1afe9d45991857324c6e2f67d714976 /compiler/rustc_driver/src
parent06460fe72c1ad9962c65f3b7326481a81979f465 (diff)
parent24fc1151ee5b7d94f38d6e5981fbbb37b8210105 (diff)
downloadrust-45660949132222ba7ec0905649b2affd68e0e13c.tar.gz
rust-45660949132222ba7ec0905649b2affd68e0e13c.zip
Auto merge of #94512 - RalfJung:sdiv-ub, r=oli-obk
Miri/CTFE: properly treat overflow in (signed) division/rem as UB

To my surprise, it looks like LLVM treats overflow of signed div/rem as UB. From what I can tell, MIR `Div`/`Rem` directly lowers to the corresponding LLVM operation, so to make that correct we also have to consider these overflows UB in the CTFE/Miri interpreter engine.

r? `@oli-obk`
Diffstat (limited to 'compiler/rustc_driver/src')
0 files changed, 0 insertions, 0 deletions