user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
rust/compiler/rustc_middle/src
History
bors 4566094913 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`
2022-03-03 12:56:24 +00:00
..
dep_graph Adopt let_else in even more places 2022-02-16 22:43:39 +01:00
hir resolve: Fix incorrect results of opt_def_kind query for some built-in macros 2022-02-24 22:54:36 +03:00
infer Inline UnifyKey::index and UnifyKey::from_index 2022-02-15 19:07:06 +01:00
middle Rollup merge of #93845 - compiler-errors:in-band-lifetimes, r=cjgillot 2022-02-25 14:14:35 +01:00
mir Auto merge of #94512 - RalfJung:sdiv-ub, r=oli-obk 2022-03-03 12:56:24 +00:00
query rename ErrorReported -> ErrorGuaranteed 2022-03-02 09:45:25 -06:00
thir rename ErrorReported -> ErrorGuaranteed 2022-03-02 09:45:25 -06:00
traits rename ErrorReported -> ErrorGuaranteed 2022-03-02 09:45:25 -06:00
ty Rollup merge of #94375 - WaffleLapkin:copy-suggestion, r=estebank 2022-03-03 01:09:11 +01:00
util Use AddAssign impl 2021-11-09 23:47:36 +01:00
arena.rs Overhaul Const. 2022-02-15 16:19:59 +11:00
lib.rs Add helper function to suggest multiple constraints 2022-03-01 13:43:11 +03:00
lint.rs rustc_errors: let DiagnosticBuilder::emit return a "guarantee of emission". 2022-02-23 06:38:52 +00:00
macros.rs Rename TypeFolderFallible to FallibleTypeFolder 2021-12-02 16:14:18 +00:00
metadata.rs resolve/metadata: Stop encoding macros as reexports 2022-02-24 22:55:40 +03:00
tests.rs mv compiler to compiler/ 2020-08-30 18:45:07 +03:00
thir.rs Revert "Auto merge of #93800 - b-naber:static-initializers-mir-val, r=oli-obk" 2022-02-20 21:56:20 -05:00