about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret
AgeCommit message (Expand)AuthorLines
2023-08-24when terminating during unwinding, show the reason whyRalf Jung-6/+14
2023-08-20interpret: have assert_* intrinsics call the panic machinery instead of a dir...Ralf Jung-14/+8
2023-08-20interpret/miri: call panic_cannot_unwind lang item instead of hard-coding the...Ralf Jung-3/+14
2023-08-20give some unwind-related terminators a more clear nameRalf Jung-2/+2
2023-08-08Rollup merge of #114615 - RalfJung:interpret-invalid-where, r=lcnrMatthias Krüger-5/+2
2023-08-08interpret: remove incomplete protection against invalid where clausesRalf Jung-5/+2
2023-08-08Auto merge of #114520 - RalfJung:unsized-valtrees, r=oli-obkbors-11/+15
2023-08-07Rollup merge of #114382 - scottmcm:compare-bytes-intrinsic, r=cjgillotMatthias Krüger-0/+22
2023-08-06Add a new `compare_bytes` intrinsic instead of calling `memcmp` directlyScott McMurray-0/+22
2023-08-07Rollup merge of #114542 - RalfJung:const-prop-nonsense, r=compiler-errorsMatthias Krüger-4/+5
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