about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src
AgeCommit message (Expand)AuthorLines
2024-11-01Completely deny calling functions with const conditions in MIR const check un...Michael Goulet-18/+22
2024-11-01Double-check conditional constness in MIRMichael Goulet-26/+62
2024-10-31stop using `ParamEnv::reveal` while handling MIRlcnr-31/+45
2024-10-31`ConstCx` stop using `ParamEnv::reveal`lcnr-11/+4
2024-10-30Rollup merge of #132246 - workingjubilee:campaign-on-irform, r=compiler-errorsJubilee-61/+77
2024-10-30Rollup merge of #132338 - nnethercote:rm-Engine, r=nnethercoteMatthias Krüger-8/+4
2024-10-30Remove `Analysis::into_engine`.Nicholas Nethercote-8/+4
2024-10-29compiler: `rustc_abi::Abi` => `BackendRepr`Jubilee Young-61/+77
2024-10-29TypingMode :thinking:lcnr-13/+16
2024-10-28compiler: Add `is_uninhabited` and use LayoutS accessorsJubilee Young-12/+12
2024-10-26Deny calls to non-`#[const_trait]` methods in MIR constckDeadbeef-10/+19
2024-10-25tcx.is_const_fn doesn't work the way it is described, remove itRalf Jung-6/+6
2024-10-25Re-do recursive const stability checksRalf Jung-151/+299
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-4/+4
2024-10-22Auto merge of #131321 - RalfJung:feature-activation, r=nnethercotebors-6/+6
2024-10-22terminology: #[feature] *enables* a feature (instead of "declaring" or "activ...Ralf Jung-6/+6
2024-10-21Rollup merge of #130350 - RalfJung:strict-provenance, r=dtolnayMatthias Krüger-1/+0
2024-10-21move strict provenance lints to new feature gate, remove old feature gatesRalf Jung-1/+0
2024-10-21Auto merge of #131988 - matthiaskrgr:rollup-tx173wn, r=matthiaskrgrbors-49/+4
2024-10-21Auto merge of #130950 - compiler-errors:yeet-eval, r=BoxyUwUbors-2/+4
2024-10-20Rip out old effects var handling code from traitsMichael Goulet-49/+4
2024-10-19Get rid of const eval_* and try_eval_* helpersMichael Goulet-2/+4
2024-10-19interpret errors: add map_err_kind, rename InterpError -> InterpErrorKindRalf Jung-42/+45
2024-10-16Auto merge of #131767 - cuviper:bump-stage0, r=Mark-Simulacrumbors-2/+2
2024-10-16Auto merge of #131481 - nnethercote:rm-GenKillSet, r=cjgillotbors-7/+2
2024-10-15update bootstrap configsJosh Stone-2/+2
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-14Merge `AnalysisDomain` into `Analysis`.Nicholas Nethercote-7/+2
2024-10-12miri: avoid cloning AllocExtraRalf Jung-14/+19
2024-10-10Rollup merge of #131397 - RalfJung:const-escaping-ref-teach, r=chenyukangMatthias Krüger-9/+10
2024-10-08compiler: Factor rustc_target::abi out of const_evalJubilee Young-7/+8
2024-10-08fix/update teach_note from 'escaping mutable ref/ptr' const-checkRalf Jung-9/+10
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-494/+501
2024-09-30panic when an interpreter error gets unintentionally discardedRalf Jung-24/+37
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-26Stabilize `const_refs_to_static`Ding Xiang Fei-29/+0
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-6/+8
2024-09-24unify dyn* coercions with other pointer coercionsLukas Markeffsky-7/+7
2024-09-23Rollup merge of #130727 - compiler-errors:objects, r=RalfJungMichael Goulet-47/+66
2024-09-23Check vtable projections for validity in miriMichael Goulet-47/+66