rust/compiler/rustc_const_eval/src/interpret
bors 191dc54dbf Auto merge of #115182 - RalfJung:abi-compat-sign, r=b-naber
miri ABI compatibility check: accept u32 and i32

If only the sign differs, then surely these types are compatible. (We do still check that `arg_ext` is the same, just in case.)

Also I made it so that the ABI check must *imply* that size and alignment are the same, but it doesn't actively check that itself. With how crazy ABI constraints get, having equal size and align really shouldn't be used as a signal for anything I think...
2023-08-28 22:56:10 +00:00
..
intrinsics interpret: make write functions generic over the place type 2023-07-25 22:33:58 +02:00
cast.rs interpret: make read functions generic over operand type 2023-07-25 22:33:59 +02:00
discriminant.rs interpret: make read functions generic over operand type 2023-07-25 22:33:59 +02:00
eval_context.rs when terminating during unwinding, show the reason why 2023-08-24 13:28:26 +02:00
intern.rs make MPlaceTy non-Copy 2023-07-25 22:35:07 +02:00
intrinsics.rs interpret: have assert_* intrinsics call the panic machinery instead of a direct abort 2023-08-20 15:52:40 +02:00
machine.rs Auto merge of #115184 - saethlin:local-allocated-spans, r=RalfJung 2023-08-25 17:03:33 +00:00
memory.rs Rollup merge of #114363 - RalfJung:interpret-not-miri, r=jackh726 2023-08-03 08:12:39 +02:00
mod.rs interpret: make read functions generic over operand type 2023-07-25 22:33:59 +02:00
operand.rs Remove constness from ParamEnv 2023-07-27 15:50:42 +00:00
operator.rs inline format!() args from rustc_codegen_llvm to the end (4) 2023-07-25 23:20:28 +02:00
place.rs Record allocation spans inside force_allocation 2023-08-25 11:16:52 -04:00
projection.rs interpret: use ConstPropNonsense for more const-prop induced issues 2023-08-06 15:20:03 +02:00
step.rs interpret: remove incomplete protection against invalid where clauses 2023-08-08 10:35:22 +02:00
terminator.rs Auto merge of #115182 - RalfJung:abi-compat-sign, r=b-naber 2023-08-28 22:56:10 +00:00
traits.rs add is_sized method on Abi and Layout, and use it 2022-11-13 12:23:53 +01:00
util.rs refactor(rustc_middle): Substs -> GenericArg 2023-07-14 13:27:35 +01:00
validity.rs const validation: point at where we found a pointer but expected an integer 2023-08-02 18:51:50 +02:00
visitor.rs interpret: make write functions generic over the place type 2023-07-25 22:33:58 +02:00