summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret
AgeCommit message (Expand)AuthorLines
2024-11-20Auto merge of #131326 - dingxiangfei2009:issue-130836-attempt-2, r=nikomatsakisbors-0/+3
2024-11-20reduce false positives of tail-expr-drop-order from consumed valuesDing Xiang Fei-0/+3
2024-11-20interpret: make typing_env field privateRalf Jung-2/+2
2024-11-19`InterpCx` store `TypingEnv` instead of a `ParamEnv`lcnr-74/+72
2024-11-19move `fn is_item_raw` to `TypingEnv`lcnr-6/+8
2024-11-19Auto merge of #133164 - RalfJung:promoted-oom, r=jieyouxubors-0/+3
2024-11-18Auto merge of #132460 - lcnr:questionable-uwu, r=compiler-errorsbors-97/+87
2024-11-18interpret: do not ICE when a promoted fails with OOMRalf Jung-0/+3
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-97/+87
2024-11-18remove pointless cold_path impl in interpreterRalf Jung-3/+0
2024-11-17Likely unlikely fixJiri Bobek-0/+3
2024-11-09make return type of get_alloc_info a struct, and reduce some code duplication...Ralf Jung-152/+84
2024-11-09interpret: get_alloc_info: also return mutabilityRalf Jung-15/+26
2024-11-04miri: update ABI compat checks to accept Option-like typesRalf Jung-18/+35
2024-11-03compiler: Directly use rustc_abi in const_evalJubilee Young-24/+22
2024-10-31stop using `ParamEnv::reveal` while handling MIRlcnr-13/+36
2024-10-30Rollup merge of #132246 - workingjubilee:campaign-on-irform, r=compiler-errorsJubilee-47/+63
2024-10-29compiler: `rustc_abi::Abi` => `BackendRepr`Jubilee Young-47/+63
2024-10-29TypingMode :thinking:lcnr-2/+4
2024-10-28compiler: Add `is_uninhabited` and use LayoutS accessorsJubilee Young-10/+10
2024-10-21Auto merge of #130950 - compiler-errors:yeet-eval, r=BoxyUwUbors-1/+3
2024-10-19Get rid of const eval_* and try_eval_* helpersMichael Goulet-1/+3
2024-10-19interpret errors: add map_err_kind, rename InterpError -> InterpErrorKindRalf Jung-25/+27
2024-10-15Rollup merge of #130568 - eduardosm:const-float-methods, r=RalfJung,tgross35Michael Goulet-19/+99
2024-10-15Make some float methods unstable `const fn`Eduardo Sánchez Muñoz-0/+80
2024-10-14De-duplicate and move `adjust_nan` to `InterpCx`Eduardo Sánchez Muñoz-19/+19
2024-10-12miri: avoid cloning AllocExtraRalf Jung-13/+18
2024-10-08compiler: Factor rustc_target::abi out of const_evalJubilee Young-7/+8
2024-10-07Auto merge of #131068 - RalfJung:immediate-offset-sanity-check, r=nnethercotebors-31/+45
2024-10-06various fixes for `naked_asm!` implementationFolkert de Vries-1/+1
2024-10-04Use wide pointers consistenly across the compilerUrgau-3/+3
2024-10-03interpret: Immediate::offset: use shared sanity-check function to ensure inva...Ralf Jung-31/+45
2024-10-02Auto merge of #131006 - RalfJung:immediate-sanity, r=saethlinbors-3/+6
2024-10-01make InterpResult a dedicated type to avoid accidentally discarding the errorRalf Jung-413/+423
2024-09-30panic when an interpreter error gets unintentionally discardedRalf Jung-23/+34
2024-09-29interpret: always enable write_immediate sanity checksRalf Jung-3/+6
2024-09-29cleanup: don't `.into()` identical typesMatthias Krüger-5/+2
2024-09-27Rollup merge of #130826 - fmease:compiler-mv-obj-safe-dyn-compat, r=compiler-...Matthias Krüger-1/+1
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-1/+1
2024-09-24be even more precise about "cast" vs "coercion"Lukas Markeffsky-5/+6
2024-09-24unify dyn* coercions with other pointer coercionsLukas Markeffsky-1/+1
2024-09-23Rollup merge of #130727 - compiler-errors:objects, r=RalfJungMichael Goulet-35/+60
2024-09-23Check vtable projections for validity in miriMichael Goulet-35/+60
2024-09-23fix unqualified_local_imports in rustc_const_evalRalf Jung-1/+1
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-84/+79
2024-09-22Rollup merge of #130690 - RalfJung:interpret-abi-compat-fixme, r=jieyouxuGuillaume Gomez-1/+0
2024-09-22fix rustc_nonnull_optimization_guaranteed docsRalf Jung-0/+1
2024-09-22interpret: remove outdated FIXMERalf Jung-1/+0
2024-09-16layout computation: eagerly error for unexpected unsized fieldsLukas Markeffsky-1/+1
2024-09-16make `LayoutCx` not genericLukas Markeffsky-2/+2