about summary refs log tree commit diff
path: root/compiler/rustc_const_eval
AgeCommit message (Expand)AuthorLines
2024-12-12Make BorrowSet/BorrowData fields accessible via public gettersWill Crichton-6/+9
2024-12-12Move impl constness into impl trait headerOli Scherer-9/+12
2024-12-11Make some types and methods related to Polonius + Miri public.Will Crichton-8/+20
2024-12-11Require the `constness` query to only be invoked on things that can have cons...Oli Scherer-4/+5
2024-12-11Make a helper privateOli Scherer-1/+1
2024-12-10Rollup merge of #134010 - RalfJung:promoted-type-error-ice, r=oli-obkLeón Orell Valerian Liehr-18/+21
2024-12-10Rename some `Analysis` and `ResultsVisitor` methods.Nicholas Nethercote-2/+2
2024-12-09fix ICE on type error in promotedRalf Jung-18/+21
2024-12-09interpret: clean up deduplicating allocation functionsRalf Jung-33/+20
2024-12-09interpret: reduce usage of TypingEnv::fully_monomorphizedRalf Jung-8/+9
2024-12-08Rollup merge of #133861 - shamb0:refactor_InterpCx_allocate_str, r=RalfJungMatthias Krüger-13/+32
2024-12-07Mention type parameter in more cases and don't suggest ~const bound already t...Esteban Küber-1/+1
2024-12-07Add allocate_bytes and refactor allocate_str in InterpCx for raw byte allocationshamb0-13/+32
2024-12-06Remove polymorphizationBen Kimock-28/+6
2024-12-06Rollup merge of #133211 - Strophox:miri-correct-state-update-ffi, r=RalfJungMatthias Krüger-12/+60
2024-12-05extend Miri to correctly pass mutable pointers through FFIStrophox-12/+60
2024-12-03Rollup merge of #133681 - RalfJung:niches, r=wesleywiserMatthias Krüger-21/+29
2024-12-03Bounds-check with PtrMetadata instead of Len in MIRScott McMurray-5/+20
2024-12-03Auto merge of #133321 - compiler-errors:const-checker, r=wesleywiserbors-10/+9
2024-12-01fix ICE when promoted has layout size overflowRalf Jung-12/+16
2024-12-01fix safe-transmute handling of enumsRalf Jung-1/+1
2024-11-30report UB when the niche value refers to the untagged variantRalf Jung-20/+28
2024-11-26Move `always_storage_live_locals`.Nicholas Nethercote-3/+2
2024-11-23remove is_trivially_const_dropRalf Jung-5/+0
2024-11-22Check drop is trivial before checking ty needs dropMichael Goulet-1/+6
2024-11-22Deduplicate checking drop terminatorMichael Goulet-92/+53
2024-11-22Gate const drop behind const_destruct feature, and fix const_precise_live_dro...Michael Goulet-82/+119
2024-11-22More comments, reverse polarity of structural checkMichael Goulet-35/+41
2024-11-22Implement ~const Destruct in new solverMichael Goulet-39/+42
2024-11-22Get rid of HIR const checkerMichael Goulet-10/+9
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-2/+2
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/+78