summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src
AgeCommit message (Expand)AuthorLines
2024-11-20Auto merge of #131326 - dingxiangfei2009:issue-130836-attempt-2, r=nikomatsakisbors-0/+4
2024-11-20reduce false positives of tail-expr-drop-order from consumed valuesDing Xiang Fei-0/+4
2024-11-20interpret: make typing_env field privateRalf Jung-7/+6
2024-11-19`InterpCx` store `TypingEnv` instead of a `ParamEnv`lcnr-127/+115
2024-11-19move `fn is_item_raw` to `TypingEnv`lcnr-11/+10
2024-11-19Auto merge of #133164 - RalfJung:promoted-oom, r=jieyouxubors-1/+11
2024-11-18Auto merge of #132460 - lcnr:questionable-uwu, r=compiler-errorsbors-154/+145
2024-11-18interpret: do not ICE when a promoted fails with OOMRalf Jung-1/+11
2024-11-18Rollup merge of #133163 - RalfJung:cold, r=saethlinGuillaume Gomez-3/+0
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-154/+145
2024-11-18remove pointless cold_path impl in interpreterRalf Jung-3/+0
2024-11-18rename rustc_const_stable_intrinsic -> rustc_intrinsic_const_stable_indirectRalf Jung-1/+1
2024-11-17Auto merge of #120370 - x17jiri:likely_unlikely_fix, r=saethlinbors-0/+3
2024-11-17Likely unlikely fixJiri Bobek-0/+3
2024-11-16stabilize const_ptr_is_nullRalf Jung-0/+6
2024-11-13check_consts: fix error requesting feature gate when that gate is not actuall...Ralf Jung-12/+36
2024-11-12allow rustc_private feature in force-unstable-if-unmarked cratesRalf Jung-3/+20
2024-11-10ensure that all publicly reachable const fn have const stability infoRalf Jung-17/+20
2024-11-10honor rustc_const_stable_indirect in non-staged_api crate with -Zforce-unstab...Ralf Jung-3/+4
2024-11-09Rollup merge of #132823 - RalfJung:conditional-const-calls, r=fee1-dead,compi...Jubilee-78/+74
2024-11-09give a hint which feature is missingRalf Jung-15/+11
2024-11-09require const_impl_trait gate for all conditional and trait const callsRalf Jung-69/+69
2024-11-09make return type of get_alloc_info a struct, and reduce some code duplication...Ralf Jung-154/+87
2024-11-09interpret: get_alloc_info: also return mutabilityRalf Jung-16/+27
2024-11-07Rollup merge of #132057 - RalfJung:miri-abi-compat, r=wesleywiserJonas Böttiger-18/+35
2024-11-04when an intrinsic has a const-stable fallback body, we can easily expose it o...Ralf Jung-4/+12
2024-11-04add new rustc_const_stable_intrinsic attribute for const-stable intrinsicsRalf Jung-7/+10
2024-11-04remove support for extern-block const intrinsicsRalf Jung-9/+3
2024-11-04miri: update ABI compat checks to accept Option-like typesRalf Jung-18/+35
2024-11-03Rollup merge of #132423 - RalfJung:const-eval-align-offset, r=dtolnayJubilee-82/+6
2024-11-03Rollup merge of #132574 - workingjubilee:abi-in-compiler, r=compiler-errorsJubilee-32/+29
2024-11-03compiler: Directly use rustc_abi in const_evalJubilee Young-32/+29
2024-11-03Rename the FIXMEs, remove a few that dont matter anymoreMichael Goulet-4/+5
2024-11-03Gate checking ~const bounds on const_trait_implMichael Goulet-9/+3
2024-11-03remove const-support for align_offsetRalf Jung-82/+6
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