rust/compiler/rustc_const_eval/src/interpret
bors 4e5fec2f1e Auto merge of #134757 - RalfJung:const_swap, r=scottmcm
stabilize const_swap

libs-api FCP passed in https://github.com/rust-lang/rust/issues/83163.

However, I only just realized that this actually involves an intrinsic. The intrinsic could be implemented entirely with existing stable const functionality, but we choose to make it a primitive to be able to detect more UB. So nominating for `@rust-lang/lang`  to make sure they are aware; I leave it up to them whether they want to FCP this.

While at it I also renamed the intrinsic to make the "nonoverlapping" constraint more clear.

Fixes #83163
2024-12-30 23:46:42 +00:00
..
call.rs swap_typed_nonoverlapping: properly detect overlap even when swapping scalar values 2024-12-25 16:01:26 +01:00
cast.rs Rollup merge of #133211 - Strophox:miri-correct-state-update-ffi, r=RalfJung 2024-12-06 09:27:39 +01:00
discriminant.rs make no-variant types a dedicated Variants variant 2024-12-18 11:01:54 +01:00
eval_context.rs fix ICE on type error in promoted 2024-12-09 15:17:26 +01:00
intern.rs InterpCx store TypingEnv instead of a ParamEnv 2024-11-19 21:36:23 +01:00
intrinsics.rs swap_typed_nonoverlapping: properly detect overlap even when swapping scalar values 2024-12-25 16:01:26 +01:00
machine.rs Pass FnAbi to find_mir_or_eval_fn 2024-12-19 14:10:37 +00:00
memory.rs ptr::copy: fix docs for the overlapping case 2024-12-21 08:34:55 +01:00
mod.rs make return type of get_alloc_info a struct, and reduce some code duplication with validity checking 2024-11-09 15:18:52 +01:00
operand.rs Rollup merge of #134191 - willcrichton:dev, r=RalfJung,lqd 2024-12-14 14:07:57 +01:00
operator.rs Re-export more rustc_span::symbol things from rustc_span. 2024-12-18 13:38:53 +11:00
place.rs swap_typed_nonoverlapping: properly detect overlap even when swapping scalar values 2024-12-25 16:01:26 +01:00
projection.rs Use field init shorthand where possible 2024-12-17 14:33:10 -08:00
stack.rs Begin to implement type system layer of unsafe binders 2024-12-22 21:57:57 +00:00
step.rs Delete Rvalue::Len 2024-12-22 06:12:39 -08:00
traits.rs compiler: Directly use rustc_abi in const_eval 2024-11-03 13:38:47 -08:00
util.rs Remove polymorphization 2024-12-06 16:42:09 -05:00
validity.rs Begin to implement type system layer of unsafe binders 2024-12-22 21:57:57 +00:00
visitor.rs make no-variant types a dedicated Variants variant 2024-12-18 11:01:54 +01:00