summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/interpret
AgeCommit message (Expand)AuthorLines
2024-12-31Rollup merge of #134949 - compiler-errors:froms, r=jieyouxuStuart Cook-3/+3
2024-12-31Convert some Into impls into From implsMichael Goulet-3/+3
2024-12-30Fix typosNoName-6/+6
2024-12-18Variants::Single: do not use invalid VariantIdx for uninhabited enumsRalf Jung-1/+1
2024-12-09fix ICE on type error in promotedRalf Jung-18/+24
2024-12-06Rollup merge of #133211 - Strophox:miri-correct-state-update-ffi, r=RalfJungMatthias Krüger-0/+50
2024-12-05extend Miri to correctly pass mutable pointers through FFIStrophox-0/+50
2024-12-01fix ICE when promoted has layout size overflowRalf Jung-17/+9
2024-11-23no more Reveal :(lcnr-2/+2
2024-11-19`InterpCx` store `TypingEnv` instead of a `ParamEnv`lcnr-15/+17
2024-11-19move `fn is_item_raw` to `TypingEnv`lcnr-3/+3
2024-11-19Auto merge of #133164 - RalfJung:promoted-oom, r=jieyouxubors-2/+13
2024-11-18interpret: do not ICE when a promoted fails with OOMRalf Jung-2/+13
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-12/+13
2024-11-09make return type of get_alloc_info a struct, and reduce some code duplication...Ralf Jung-3/+83
2024-11-03compiler: Directly use rustc_abi in metadata and middleJubilee Young-8/+8
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-1/+1
2024-10-19interpret errors: add map_err_kind, rename InterpError -> InterpErrorKindRalf Jung-36/+47
2024-10-12mark InterpResult as must_useRalf Jung-0/+1
2024-10-01make InterpResult a dedicated type to avoid accidentally discarding the errorRalf Jung-86/+218
2024-09-30panic when an interpreter error gets unintentionally discardedRalf Jung-9/+64
2024-09-23Check vtable projections for validity in miriMichael Goulet-11/+17
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-11/+11
2024-09-14Auto merge of #128543 - RalfJung:const-interior-mut, r=fee1-deadbors-4/+43
2024-09-12Rollup merge of #130235 - compiler-errors:nested-if, r=michaelwoeristerStuart Cook-16/+14
2024-09-11Rollup merge of #130114 - eduardosm:needless-returns, r=compiler-errorsJubilee-1/+1
2024-09-11Simplify some nested if statementsMichael Goulet-16/+14
2024-09-10const-eval interning: accpt interior mutable pointers in final value (but kee...Ralf Jung-4/+43
2024-09-09Remove needless returns detected by clippy in the compilerEduardo Sánchez Muñoz-1/+1
2024-09-08interpret: reset provenance on typed copiesRalf Jung-0/+13
2024-09-02chore: Fix typos in 'compiler' (batch 2)Alexander Cyon-3/+3
2024-08-31Rollup merge of #129684 - Strophox:miri-pass-pointer-to-ffi, r=RalfJungMatthias Krüger-1/+2
2024-08-30enable Miri to pass const pointers through FFIStrophox-1/+2
2024-08-29Add `warn(unreachable_pub)` to `rustc_middle`.Nicholas Nethercote-1/+1
2024-08-14use the new Box methods in the interpreterRalf Jung-4/+2
2024-08-06miri: make vtable addresses not globally uniqueRalf Jung-94/+51
2024-08-01interpret: simplify pointer arithmetic logicRalf Jung-88/+12
2024-08-01on a signed deref check, mention the right pointer in the errorRalf Jung-9/+7
2024-07-29Rollup merge of #128277 - RalfJung:offset_from_wildcard, r=oli-obkMatthias Krüger-6/+14
2024-07-29Reformat `use` declarations.Nicholas Nethercote-54/+39
2024-07-27improve dangling/oob errors and make them more uniformRalf Jung-6/+14
2024-07-22Auto merge of #127442 - saethlin:alloc-decoding-lock, r=oli-obkbors-89/+25
2024-07-21Explain why the new setup can't deadlockBen Kimock-1/+13
2024-07-18valtree construction: keep track of which type was valtree-incompatibleRalf Jung-3/+5
2024-07-17Remove in-progress allocation decoding statesBen Kimock-89/+13
2024-07-14Add cache for `allocate_str`Adwin White-6/+11
2024-07-04Auto merge of #123781 - RalfJung:miri-fn-identity, r=oli-obkbors-23/+50
2024-07-02Instance::resolve -> Instance::try_resolve, and other nitsMichael Goulet-2/+2
2024-07-02Miri function identity hack: account for possible inliningRalf Jung-23/+50
2024-06-22don't ICE when encountering an extern type field during validationRalf Jung-0/+2