about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret
AgeCommit message (Expand)AuthorLines
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-0/+4
2024-12-22Delete `Rvalue::Len`Scott McMurray-7/+1
2024-12-21ptr::copy: fix docs for the overlapping caseRalf Jung-0/+2
2024-12-20Rollup merge of #133103 - tiif:fnabi, r=RalfJungJacob Pratt-6/+7
2024-12-19Pass FnAbi to find_mir_or_eval_fntiif-6/+7
2024-12-19Rollup merge of #133702 - RalfJung:single-variant, r=oli-obk许杰友 Jieyou Xu (Joe)-17/+17
2024-12-18Auto merge of #134443 - joshtriplett:use-field-init-shorthand, r=lqd,tgross35...bors-1/+1
2024-12-18make no-variant types a dedicated Variants variantRalf Jung-9/+12
2024-12-18Variants::Single: do not use invalid VariantIdx for uninhabited enumsRalf Jung-15/+12
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-3/+3
2024-12-17Use field init shorthand where possibleJosh Triplett-1/+1
2024-12-14Auto merge of #133734 - scottmcm:lower-indexing-to-ptrmetadata, r=davidtwco,R...bors-2/+11
2024-12-14Rollup merge of #134191 - willcrichton:dev, r=RalfJung,lqdMatthias Krüger-12/+27
2024-12-13Update compiler/rustc_const_eval/src/interpret/step.rsscottmcm-1/+3
2024-12-13Rollup merge of #134058 - RalfJung:interpret-typing-env, r=lcnrMatthias Krüger-6/+8
2024-12-13Don't retag the `PtrMetadata(&raw const *_n)` in slice indexingScott McMurray-2/+9
2024-12-12Make BorrowSet/BorrowData fields accessible via public gettersWill Crichton-6/+9
2024-12-11Make some types and methods related to Polonius + Miri public.Will Crichton-8/+20
2024-12-10Rollup merge of #134010 - RalfJung:promoted-type-error-ice, r=oli-obkLeón Orell Valerian Liehr-2/+4
2024-12-09fix ICE on type error in promotedRalf Jung-2/+4
2024-12-09interpret: clean up deduplicating allocation functionsRalf Jung-27/+17
2024-12-09interpret: reduce usage of TypingEnv::fully_monomorphizedRalf Jung-6/+8
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-5/+51
2024-12-05extend Miri to correctly pass mutable pointers through FFIStrophox-5/+51
2024-12-03Rollup merge of #133681 - RalfJung:niches, r=wesleywiserMatthias Krüger-20/+25
2024-12-01fix ICE when promoted has layout size overflowRalf Jung-7/+4
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-19/+24
2024-11-26Move `always_storage_live_locals`.Nicholas Nethercote-1/+1
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