about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/terminator.rs
AgeCommit message (Expand)AuthorLines
2023-12-11Auto merge of #118032 - RalfJung:char-u32, r=Mark-Simulacrumbors-0/+2
2023-12-07ctfe interpreter: extend provenance so that it can track whether a pointer is...Ralf Jung-3/+3
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-3/+3
2023-11-18guarantee that char and u32 are ABI-compatibleRalf Jung-0/+2
2023-10-20s/Generator/Coroutine/Oli Scherer-1/+1
2023-10-15don't UB on dangling ptr deref, instead check inbounds on projectionsRalf Jung-8/+1
2023-10-14const-eval: allow calling functions with targat features disabled at compile ...Eduardo Sánchez Muñoz-4/+6
2023-09-20interpret: less debug-printing of typesRalf Jung-6/+3
2023-09-20interpret: more consistently use ImmTy in operators and castsRalf Jung-8/+6
2023-09-12add helper method for finding the one non-1-ZST fieldRalf Jung-32/+7
2023-09-09handle/hack for arbitrary-self dyn receiversRalf Jung-32/+44
2023-09-09implement and test ABI compatibility for transparent wrappers around NPO typesRalf Jung-14/+27
2023-09-09implement and test fn ptr ABI compatibility rulesRalf Jung-2/+7
2023-09-09give extra context to ABI mismatch errorsRalf Jung-14/+8
2023-09-09interpret: change ABI-compat test to be type-based, so the test is consistent...Ralf Jung-50/+125
2023-09-08turns out Layout has some more things to worry about -- move ABI comparison i...Ralf Jung-6/+2
2023-09-08accept some differences for rustc_abi(assert_eq), so that we can test more th...Ralf Jung-60/+10
2023-09-04interpret: make MemPlace, Place, Operand types private to the interpreterRalf Jung-3/+3
2023-08-31miri ABI check: fix handling of 1-ZST; don't accept sign differencesRalf Jung-24/+23
2023-08-30miri function ABI check: specifically look for repr(transparent)Ralf Jung-71/+102
2023-08-30interpret: make sure we accept transparent newtypes as ABI-compatibleRalf Jung-16/+36
2023-08-30unify passing of sized and unsized function arguments :-)Ralf Jung-25/+9
2023-08-30move marking-locals-live out of push_stack_frame, so it happens with argument...Ralf Jung-36/+77
2023-08-29const_eval and codegen: audit uses of is_zstRalf Jung-4/+4
2023-08-28Auto merge of #115182 - RalfJung:abi-compat-sign, r=b-naberbors-15/+29
2023-08-24miri ABI compatibility check: accept u32 and i32Ralf Jung-15/+29
2023-08-24when terminating during unwinding, show the reason whyRalf Jung-2/+2
2023-08-20interpret/miri: call panic_cannot_unwind lang item instead of hard-coding the...Ralf Jung-2/+1
2023-08-20give some unwind-related terminators a more clear nameRalf Jung-2/+2
2023-08-06simplify handling of valtrees for unsized typesRalf Jung-9/+1
2023-08-04interpret: add mplace_to_ref helper methodRalf Jung-4/+1
2023-08-01rename deref_operand → deref_pointer and some Miri helper functionsRalf Jung-1/+1
2023-07-25make MPlaceTy non-CopyRalf Jung-1/+1
2023-07-25interpret: refactor projection code to work on a common trait, and use that f...Ralf Jung-9/+10
2023-07-24interpret: support projecting into Place::Local without force_allocationRalf Jung-3/+5
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-4/+4
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-8/+25
2023-07-11miri: protect Move() function arguments during the callRalf Jung-28/+129
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-2/+2
2023-06-18Better error for non const `PartialEq` call generated by `match`Deadbeef-1/+1
2023-06-01Use translatable diagnostics in `rustc_const_eval`Deadbeef-25/+26
2023-05-25Remove DesugaringKind::Replace.Camille GILLOT-1/+1
2023-04-20Remove WithOptconstParam.Camille GILLOT-2/+1
2023-04-06Fix mir interp of `TerminatorKind::Terminate`Gary Guo-1/+2
2023-04-06Rename `Abort` terminator to `Terminate`Gary Guo-1/+1
2023-04-06Add `UnwindAction::Unreachable`Gary Guo-17/+8
2023-04-06Refactor unwind from Option to a new enumGary Guo-9/+11
2023-03-29Support TLS access into dylibs on WindowsJohn Kåre Alsaker-0/+1