summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/check_consts/check.rs
AgeCommit message (Expand)AuthorLines
2025-02-06Revert "Auto merge of #133734 - scottmcm:lower-indexing-to-ptrmetadata, r=dav...Rémy Rakic-20/+5
2025-02-06Revert "Auto merge of #134330 - scottmcm:no-more-rvalue-len, r=matthewjasper"Rémy Rakic-1/+2
2024-12-22Delete `Rvalue::Len`Scott McMurray-2/+1
2024-12-16rename rustc_attr to rustc_attr_parsing and create rustc_attr_data_structuresJonathan Dönszelmann-1/+1
2024-12-03Bounds-check with PtrMetadata instead of Len in MIRScott McMurray-5/+20
2024-11-26Move `always_storage_live_locals`.Nicholas Nethercote-2/+1
2024-11-22Deduplicate checking drop terminatorMichael Goulet-37/+38
2024-11-22Gate const drop behind const_destruct feature, and fix const_precise_live_dro...Michael Goulet-18/+26
2024-11-20reduce false positives of tail-expr-drop-order from consumed valuesDing Xiang Fei-0/+1
2024-11-18Auto merge of #132460 - lcnr:questionable-uwu, r=compiler-errorsbors-7/+4
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-7/+4
2024-11-18rename rustc_const_stable_intrinsic -> rustc_intrinsic_const_stable_indirectRalf Jung-1/+1
2024-11-13check_consts: fix error requesting feature gate when that gate is not actuall...Ralf Jung-10/+23
2024-11-12allow rustc_private feature in force-unstable-if-unmarked cratesRalf Jung-2/+19
2024-11-10ensure that all publicly reachable const fn have const stability infoRalf Jung-11/+13
2024-11-09require const_impl_trait gate for all conditional and trait const callsRalf Jung-59/+30
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-5/+8
2024-11-03Rename the FIXMEs, remove a few that dont matter anymoreMichael Goulet-1/+2
2024-11-03Gate checking ~const bounds on const_trait_implMichael Goulet-9/+3
2024-11-01Completely deny calling functions with const conditions in MIR const check un...Michael Goulet-12/+17
2024-11-01Double-check conditional constness in MIRMichael Goulet-26/+62
2024-10-31stop using `ParamEnv::reveal` while handling MIRlcnr-1/+1
2024-10-31`ConstCx` stop using `ParamEnv::reveal`lcnr-2/+2
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-29TypingMode :thinking:lcnr-2/+2
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-1/+1
2024-10-25Re-do recursive const stability checksRalf Jung-74/+148
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-2/+2
2024-10-22terminology: #[feature] *enables* a feature (instead of "declaring" or "activ...Ralf Jung-6/+6
2024-10-08fix/update teach_note from 'escaping mutable ref/ptr' const-checkRalf Jung-0/+1
2024-09-26Stabilize `const_refs_to_static`Ding Xiang Fei-1/+0
2024-09-24be even more precise about "cast" vs "coercion"Lukas Markeffsky-1/+2
2024-09-24unify dyn* coercions with other pointer coercionsLukas Markeffsky-6/+6
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-2/+2
2024-09-15also stabilize const_refs_to_cellRalf Jung-60/+19
2024-09-15const_refs_to_cell: dont let mutable references sneak past the interior mutab...Ralf Jung-1/+12
2024-09-15clean up const checking of mutable referencesRalf Jung-77/+2
2024-09-15stabilize const_mut_refsRalf Jung-105/+6
2024-09-14Auto merge of #128543 - RalfJung:const-interior-mut, r=fee1-deadbors-2/+3
2024-09-13Rename and reorder lots of lifetimes.Nicholas Nethercote-3/+3
2024-09-10const-eval interning: accpt interior mutable pointers in final value (but kee...Ralf Jung-2/+3
2024-09-03Add `warn(unreachable_pub)` to `rustc_const_eval`.Nicholas Nethercote-3/+3
2024-08-31const fn stability checking: also check declared language featuresRalf Jung-3/+1
2024-08-26Auto merge of #129508 - RalfJung:transient-locals, r=cjgillotbors-18/+32
2024-08-25dont iterate over the bitsetRalf Jung-4/+2
2024-08-25only visit reachable blocks, do not use a visitorRalf Jung-28/+16
2024-08-24const checking: properly compute the set of transient localsRalf Jung-17/+45