4566094913
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` |
||
|---|---|---|
| .. | ||
| const_eval | ||
| interpret | ||
| transform | ||
| util | ||
| lib.rs | ||