about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/operand.rs
AgeCommit message (Expand)AuthorLines
2023-12-07avoid marking as immutable what is already immutableRalf Jung-0/+11
2023-12-07ctfe interpreter: extend provenance so that it can track whether a pointer is...Ralf Jung-13/+15
2023-10-25Evaluate computed values to constants.Camille GILLOT-0/+10
2023-10-21Make `ty::print::Printer` take `&mut self` instead of `self`Nilstrieb-4/+5
2023-10-15place evaluation: require the original pointer to be aligned if an access hap...Ralf Jung-37/+23
2023-10-15avoid re-checking the offset while iterating an array/sliceRalf Jung-2/+5
2023-10-15don't UB on dangling ptr deref, instead check inbounds on projectionsRalf Jung-1/+11
2023-10-03print normalized tyouz-a-10/+15
2023-09-21Auto merge of #116010 - RalfJung:more-typed-immediates, r=oli-obkbors-10/+20
2023-09-21Rollup merge of #115972 - RalfJung:const-consistency, r=oli-obkGuillaume Gomez-1/+1
2023-09-21rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::ConstRalf Jung-1/+1
2023-09-20stronger consistency check in ImmTy::from_immediateRalf Jung-3/+11
2023-09-20interpret: less debug-printing of typesRalf Jung-6/+2
2023-09-20interpret: more consistently use ImmTy in operators and castsRalf Jung-1/+7
2023-09-19adjust constValue::Slice to work for arbitrary slice typesRalf Jung-15/+18
2023-09-19move ConstValue into mirRalf Jung-8/+7
2023-09-18Auto merge of #115748 - RalfJung:post-mono, r=oli-obkbors-53/+4
2023-09-15make interpreter type Debug impl independent of Ty debug implRalf Jung-2/+10
2023-09-14move required_consts check to general post-mono-check functionRalf Jung-53/+4
2023-09-14make it more clear which functions create fresh AllocIdRalf Jung-1/+1
2023-09-14cleanup op_to_const a bit; rename ConstValue::ByRef → IndirectRalf Jung-1/+1
2023-09-14use AllocId instead of Allocation in ConstValue::ByRefRalf Jung-3/+2
2023-09-04interpret: make MemPlace, Place, Operand types private to the interpreterRalf Jung-53/+69
2023-08-30a bit of meta-related cleanup on ProjectableRalf Jung-5/+5
2023-08-30move marking-locals-live out of push_stack_frame, so it happens with argument...Ralf Jung-18/+25
2023-08-30interpret: fix projecting into an unsized field of a localRalf Jung-34/+22
2023-08-29const_eval and codegen: audit uses of is_zstRalf Jung-0/+1
2023-07-27Remove `constness` from `ParamEnv`Deadbeef-4/+2
2023-07-25make MPlaceTy non-CopyRalf Jung-1/+1
2023-07-25interpret: make read functions generic over operand typeRalf Jung-37/+44
2023-07-25interpret: make write functions generic over the place typeRalf Jung-8/+6
2023-07-25interpret: refactor projection code to work on a common trait, and use that f...Ralf Jung-33/+95
2023-07-24interpret: support projecting into Place::Local without force_allocationRalf Jung-35/+74
2023-07-20clarify MIR uninit vs LLVM undef/poisonRalf Jung-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-2/+2
2023-07-11miri: protect Move() function arguments during the callRalf Jung-8/+0
2023-07-05Remove a function argument that is always passed with the same value.Oli Scherer-1/+1
2023-07-05Specialize `try_destructure_mir_constant` for its sole userOli Scherer-1/+1
2023-05-15Suppress "erroneous constant used" for constants tainted by errorsTomasz Miąsko-1/+1
2023-04-28interpret: fail more gracefully on uninit unsized localsRalf Jung-0/+6
2023-04-04Move a const-prop-lint specific hack from mir interpret to const-prop-lint an...Oli Scherer-8/+1
2023-02-20basic dyn* support for MiriRalf Jung-1/+19
2023-02-15Use target instead of machine for mir interpreter integer handling.Oli Scherer-5/+5
2023-02-06interpret: move discriminant reading and writing to separate fileRalf Jung-151/+2
2023-01-22abi: add `AddressSpace` field to `Primitive::Pointer`Erik Desjardins-3/+3
2023-01-20Auto merge of #106090 - WaffleLapkin:dereffffffffff, r=Nilstriebbors-3/+3
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-1/+1
2023-01-17Review suggestionsMaybe Waffle-3/+3
2023-01-17Undo questionable changesMaybe Waffle-1/+1
2023-01-17`rustc_const_eval`: remove `ref` patterns (+some pattern matching imps)Maybe Waffle-6/+6