about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/operator.rs
AgeCommit message (Expand)AuthorLines
2023-10-15don't UB on dangling ptr deref, instead check inbounds on projectionsRalf Jung-2/+10
2023-10-09float-to-float casts also have non-deterministic NaN resultsRalf Jung-2/+2
2023-10-09ensure unary minus propagates NaN payloads exactlyRalf Jung-0/+1
2023-10-08miri: make NaN generation non-deterministicRalf Jung-5/+10
2023-09-20interpret: less debug-printing of typesRalf Jung-12/+9
2023-09-20interpret: more consistently use ImmTy in operators and castsRalf Jung-62/+64
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-3/+2
2023-07-25interpret: refactor projection code to work on a common trait, and use that f...Ralf Jung-2/+2
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-1/+1
2023-06-19Promote unchecked_add/sub/mul/shl/shr to mir::BinOpScott McMurray-22/+44
2023-04-28share BinOp::Offset between CTFE and MiriRalf Jung-1/+25
2023-02-24Rename many interner functions.Nicholas Nethercote-1/+1
2023-02-18Adapt interpreter.Camille GILLOT-8/+0
2022-12-18avoid .into() conversion to identical typesMatthias Krüger-1/+1
2022-12-10compiler: remove unnecessary imports and qualified pathsKaDiWa-2/+0
2022-08-26make read_immediate error immediately on uninit, so ImmTy can carry initializ...Ralf Jung-9/+9
2022-07-19interpret: rename Tag/PointerTag to Prov/ProvenanceRalf Jung-21/+21
2022-07-13Rename `debugging_opts` to `unstable_opts`Joshua Nelson-1/+1
2022-07-05fix type in function nameRalf Jung-1/+1
2022-07-05always check overflow in CheckedBinOp in CTFERalf Jung-1/+2
2022-07-04interpret: fix CheckedBinOp behavior when overflow checking is disabledRalf Jung-0/+8
2022-07-04extra assertion, extra sureRalf Jung-0/+1
2022-07-03interpret: don't rely on ScalarPair for overflowed arithmeticRalf Jung-2/+16
2022-06-04tweak some bug!sRalf Jung-2/+2
2022-03-06explain why shift with signed offset works the way it doesRalf Jung-3/+15
2022-03-01Miri/CTFE: properly treat overflow in (signed) division/rem as UBRalf Jung-7/+11
2021-12-14comment updateouz-a-1/+1
2021-12-14Add regression test and commentouz-a-1/+2
2021-12-13formattingouz-a-1/+1
2021-12-13Looser check for binary_op_overflowouz-a-1/+1
2021-11-23explain why CTFE/Miri perform truncation on shift offsetRalf Jung-1/+6
2021-09-07Rename rustc_mir to rustc_const_eval.Camille GILLOT-0/+417