about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret
AgeCommit message (Expand)AuthorLines
2023-08-06simplify handling of valtrees for unsized typesRalf Jung-11/+15
2023-08-06Rollup merge of #114505 - ouz-a:cleanup_mir, r=RalfJungMatthias Krüger-1/+1
2023-08-06cleanup misinformation regarding has_derefouz-a-1/+1
2023-08-06interpret: use ConstPropNonsense for more const-prop induced issuesRalf Jung-4/+5
2023-08-04interpret: add mplace_to_ref helper methodRalf Jung-6/+14
2023-08-03Rollup merge of #114372 - RalfJung:const-pointer-as-int, r=oli-obkMatthias Krüger-45/+57
2023-08-03Rollup merge of #114363 - RalfJung:interpret-not-miri, r=jackh726Matthias Krüger-2/+2
2023-08-02const validation: point at where we found a pointer but expected an integerRalf Jung-45/+57
2023-08-02avoid 'miri' when refering to the shared interpreterRalf Jung-2/+2
2023-08-02Auto merge of #114333 - RalfJung:dangling-ptr-offset, r=oli-obkbors-19/+24
2023-08-01properly track why we checked whether a pointer is in-boundsRalf Jung-10/+16
2023-08-01rename deref_operand → deref_pointer and some Miri helper functionsRalf Jung-9/+8
2023-07-31fix alignment handling for Repeat expressionsRalf Jung-4/+4
2023-07-27Remove `constness` from `ParamEnv`Deadbeef-5/+2
2023-07-27Rollup merge of #114075 - matthiaskrgr:fmt_args_rustc_3, r=wesleywiserMatthias Krüger-28/+20
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-28/+20
2023-07-25make MPlaceTy non-CopyRalf Jung-10/+10
2023-07-25interpret: make read functions generic over operand typeRalf Jung-77/+79
2023-07-25interpret: make write functions generic over the place typeRalf Jung-135/+165
2023-07-25add some sanity checks in write_immediate_no_validateRalf Jung-3/+28
2023-07-25interpret: read_discriminant: only return VariantIdxRalf Jung-33/+47
2023-07-25interpret: refactor projection code to work on a common trait, and use that f...Ralf Jung-1049/+660
2023-07-24interpret: support projecting into Place::Local without force_allocationRalf Jung-247/+402
2023-07-21Revert "Auto merge of #113166 - moulins:ref-niches-initial, r=oli-obk"David Tolnay-66/+64
2023-07-21Auto merge of #113892 - RalfJung:uninit-undef-poison, r=wesleywiserbors-1/+1
2023-07-21CTFE: move `target_{i, u}size_{min, max)` to `rustc_abi::TargetDataLayout`Moulins-7/+6
2023-07-21support non-null pointer niches in CTFEMoulins-58/+61
2023-07-20clarify MIR uninit vs LLVM undef/poisonRalf Jung-1/+1
2023-07-16Refactor checking function target features during const-evalEduardo Sánchez Muñoz-18/+29
2023-07-16miri: fail when calling a function that requires an unavailable target featureEduardo Sánchez Muñoz-0/+19
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-37/+35
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-17/+36
2023-07-11fix handling of alignment for dyn-sized placesRalf Jung-4/+6
2023-07-11miri: protect Move() function arguments during the callRalf Jung-59/+173
2023-07-08Auto merge of #113376 - Nilstrieb:pointer-coercions-are-not-casts-because-tha...bors-14/+15
2023-07-07Rename `adjustment::PointerCast` and variants using it to `PointerCoercion`Nilstrieb-14/+15
2023-07-07miri: check that assignments do not self-overlapRalf Jung-1/+6
2023-07-06Auto merge of #113377 - BoxyUwU:move_ty_ctors_to_ty, r=compiler-errorsbors-7/+12
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-7/+12
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-07-01Put `LayoutError` behind reference to shrink resultNilstrieb-1/+1
2023-06-19Rollup merge of #112232 - fee1-dead-contrib:match-eq-const-msg, r=b-naberMichael Goulet-1/+1
2023-06-19Dedup some type checks in the MIR validatorScott McMurray-26/+4
2023-06-19Remove unchecked_add/sub/mul/shl/shr from CTFE/cg_ssa/cg_clifScott McMurray-31/+0
2023-06-19Promote unchecked_add/sub/mul/shl/shr to mir::BinOpScott McMurray-25/+49
2023-06-18Better error for non const `PartialEq` call generated by `match`Deadbeef-1/+1
2023-06-04Use 128 bits for TypeId hashThom Chiovoloni-2/+2
2023-06-02Rollup merge of #112168 - scottmcm:lower-div-rem-unchecked-to-mir, r=oli-obkMichael Goulet-5/+1
2023-06-01Use translatable diagnostics in `rustc_const_eval`Deadbeef-228/+260