rust/compiler/rustc_const_eval/src/interpret
Matthias Krüger 254f050eb4
Rollup merge of #140439 - RalfJung:miri-algebraic-float-nondet, r=oli-obk
miri: algebraic intrinsics: bring back float non-determinism

Fixes https://github.com/rust-lang/miri/issues/4289
Cc ```@bjoernager```
r? ```@oli-obk```
2025-04-30 10:18:28 +02:00
..
call.rs AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}, scoped async drop added. 2025-04-28 16:23:13 +07:00
cast.rs Stop relying on rustc_type_ir in non-type-system crates 2025-03-15 06:42:48 +00:00
discriminant.rs make no-variant types a dedicated Variants variant 2024-12-18 11:01:54 +01:00
eval_context.rs Change function visibility to pub 2025-04-17 16:23:44 +02:00
intern.rs intern_with_temp_alloc is for DummyMachine only. 2025-04-17 13:08:31 +10:00
intrinsics.rs Rollup merge of #140439 - RalfJung:miri-algebraic-float-nondet, r=oli-obk 2025-04-30 10:18:28 +02:00
machine.rs miri: algebraic intrinsics: bring back float non-determinism 2025-04-29 11:05:06 +02:00
memory.rs add comment for "Other" case 2025-04-22 11:40:48 +02: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 Remove BackendRepr::Uninhabited, replaced with an uninhabited: bool field in LayoutData. 2025-02-20 13:27:32 -06:00
operator.rs Contracts core intrinsics. 2025-02-03 12:53:57 -08:00
place.rs miri: optimize zeroed alloc 2025-01-28 12:50:02 +01:00
projection.rs Implement MIR, CTFE, and codegen for unsafe binders 2025-01-31 17:19:53 +00:00
stack.rs Shorten span of panic failures in const context 2025-02-28 16:28:41 +00:00
step.rs AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}, scoped async drop added. 2025-04-28 16:23:13 +07:00
traits.rs interpret: adjust vtable validity check for higher-ranked types 2025-01-31 17:43:28 +01:00
util.rs fix ensure_monomorphic_enough 2025-02-11 01:15:08 +01:00
validity.rs Add or-patterns to pattern types 2025-04-28 07:50:18 +00:00
visitor.rs make no-variant types a dedicated Variants variant 2024-12-18 11:01:54 +01:00