about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src
AgeCommit message (Expand)AuthorLines
2024-09-15interpret: get_ptr_alloc_mut: lookup allocation only onceRalf Jung-24/+40
2024-09-14Auto merge of #128543 - RalfJung:const-interior-mut, r=fee1-deadbors-47/+81
2024-09-14Rollup merge of #130294 - nnethercote:more-lifetimes, r=lcnrLeón Orell Valerian Liehr-8/+8
2024-09-13interpret: simplify SIMD type handlingRalf Jung-52/+40
2024-09-13Rename and reorder lots of lifetimes.Nicholas Nethercote-8/+8
2024-09-12Rollup merge of #130250 - compiler-errors:useless-conversion, r=jieyouxuStuart Cook-7/+2
2024-09-12Rollup merge of #130235 - compiler-errors:nested-if, r=michaelwoeristerStuart Cook-7/+15
2024-09-11Rollup merge of #130239 - RalfJung:miri-ptr-offset-unsigned, r=compiler-errorsJubilee-1/+8
2024-09-11Rollup merge of #130114 - eduardosm:needless-returns, r=compiler-errorsJubilee-2/+2
2024-09-11clippy::useless_conversionMichael Goulet-7/+2
2024-09-11miri: fix overflow detection for unsigned pointer offsetRalf Jung-1/+8
2024-09-11Simplify some nested if statementsMichael Goulet-7/+15
2024-09-10interpret: mark some hot functions inline(always)Ralf Jung-0/+5
2024-09-10turn errors that should be impossible due to our static checks into ICEsRalf Jung-21/+40
2024-09-10const-eval interning: accpt interior mutable pointers in final value (but kee...Ralf Jung-32/+47
2024-09-09union padding computation: add fast-path for ZSTRalf Jung-12/+27
2024-09-09Remove needless returns detected by clippy in the compilerEduardo Sánchez Muñoz-2/+2
2024-09-08clarify comments and names in check_validity_requirementRalf Jung-9/+11
2024-09-08interpret: reset padding during validationRalf Jung-35/+335
2024-09-08interpret: reset provenance on typed copiesRalf Jung-132/+264
2024-09-08interpret: factor out common code for place mutationRalf Jung-81/+89
2024-09-08interpret: make Writeable trait about a to_place operationRalf Jung-18/+13
2024-09-08interpret: remove Readable trait, we can use Projectable insteadRalf Jung-43/+17
2024-09-06Make `Ty::boxed_ty` return an `Option`Pavel Grigorenko-1/+1
2024-09-03Auto merge of #129777 - nnethercote:unreachable_pub-4, r=Urgaubors-25/+26
2024-09-03Add `warn(unreachable_pub)` to `rustc_const_eval`.Nicholas Nethercote-25/+26
2024-09-02chore: Fix typos in 'compiler' (batch 1)Alexander Cyon-6/+6
2024-08-31Auto merge of #129831 - matthiaskrgr:rollup-befq6zx, r=matthiaskrgrbors-11/+1
2024-08-31Rollup merge of #129684 - Strophox:miri-pass-pointer-to-ffi, r=RalfJungMatthias Krüger-11/+1
2024-08-31Rollup merge of #129812 - RalfJung:box-custom-alloc, r=compiler-errorsMatthias Krüger-5/+7
2024-08-31Rollup merge of #129659 - RalfJung:const-fn-lang-feat, r=fee1-deadMatthias Krüger-3/+1
2024-08-31const fn stability checking: also check declared language featuresRalf Jung-3/+1
2024-08-31interpret, codegen: tweak some comments and checks regarding Box with custom ...Ralf Jung-5/+7
2024-08-30enable Miri to pass const pointers through FFIStrophox-11/+1
2024-08-29interpret/visitor: make memory order iteration slightly more efficientRalf Jung-9/+10
2024-08-28Rollup merge of #129666 - RalfJung:raw-eq-align, r=compiler-errorsMatthias Krüger-5/+5
2024-08-28Rollup merge of #129613 - RalfJung:interpret-target-feat, r=saethlinMatthias Krüger-42/+24
2024-08-28Rollup merge of #129608 - RalfJung:const-eval-ub-checks, r=saethlinMatthias Krüger-1/+11
2024-08-27Auto merge of #128506 - compiler-errors:by-move-body, r=cjgillotbors-1/+0
2024-08-27interpret: add missing alignment check in raw_eqRalf Jung-5/+5
2024-08-27Rollup merge of #129507 - RalfJung:per-fn-const_precise_live_drops, r=wesleyw...Matthias Krüger-2/+8
2024-08-27Rollup merge of #128942 - RalfJung:interpret-weak-memory, r=saethlinTrevor Gross-1/+1
2024-08-26Stop using a special inner body for the coroutine by-move body for async clos...Michael Goulet-1/+0
2024-08-26interpret: do not make const-eval query result depend on tcx.sessRalf Jung-42/+24
2024-08-26const-eval: do not make UbChecks behavior depend on current crate's flagsRalf Jung-1/+11
2024-08-26Auto merge of #129508 - RalfJung:transient-locals, r=cjgillotbors-18/+32
2024-08-25Avoid taking reference of &TyKindMichael Goulet-3/+3
2024-08-25make it possible to enable const_precise_live_drops per-functionRalf Jung-2/+8
2024-08-25dont iterate over the bitsetRalf Jung-4/+2
2024-08-25only visit reachable blocks, do not use a visitorRalf Jung-28/+16