about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret
AgeCommit message (Expand)AuthorLines
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+7
2024-04-06Put checks that detect UB under their own flag below debug_assertionsBen Kimock-1/+1
2024-04-03Rollup merge of #123401 - Zalathar:assert-size-aarch64, r=fmeaseJacob Pratt-2/+2
2024-04-03rename `expose_addr` to `expose_provenance`joboet-3/+3
2024-04-03Check `x86_64` size assertions on `aarch64`, tooZalathar-2/+2
2024-04-02Rollup merge of #122935 - RalfJung:with-exposed-provenance, r=AmanieuJacob Pratt-3/+3
2024-04-02Auto merge of #123385 - matthiaskrgr:rollup-v69vjbn, r=matthiaskrgrbors-1/+5
2024-04-02Auto merge of #118310 - scottmcm:three-way-compare, r=davidtwcobors-0/+25
2024-04-02Forbid implicit nested statics in thread local staticsOli Scherer-1/+5
2024-03-31Don't inherit codegen attrs from parent staticMichael Goulet-3/+8
2024-03-23Add+Use `mir::BinOp::Cmp`Scott McMurray-0/+25
2024-03-23also rename the SIMD intrinsicRalf Jung-2/+2
2024-03-23Auto merge of #122629 - RalfJung:assert-unsafe-precondition, r=saethlinbors-11/+1
2024-03-23refactor check_{lang,library}_ub: use a single intrinsic, put policy into lib...Ralf Jung-11/+1
2024-03-23Auto merge of #122947 - matthiaskrgr:rollup-10j7orh, r=matthiaskrgrbors-3/+5
2024-03-23Auto merge of #122582 - scottmcm:swap-intrinsic-v2, r=oli-obkbors-2/+23
2024-03-23rename MIR int2ptr casts to match library nameRalf Jung-1/+1
2024-03-23tag_for_variant follow-upsRalf Jung-3/+5
2024-03-22Auto merge of #122900 - matthiaskrgr:rollup-nls90mb, r=matthiaskrgrbors-67/+89
2024-03-22Rollup merge of #122784 - jswrenn:tag_for_variant, r=compiler-errorsMatthias Krüger-67/+89
2024-03-22Add `tag_for_variant` queryJack Wrenn-67/+89
2024-03-22Make RawPtr take Ty and Mutbl separatelyMichael Goulet-2/+2
2024-03-22Programmatically convert some of the pat ctorsMichael Goulet-7/+5
2024-03-22Rollup merge of #122537 - RalfJung:interpret-allocation, r=oli-obkMatthias Krüger-3/+14
2024-03-20Rollup merge of #121543 - onur-ozkan:clippy-args, r=oli-obkMatthias Krüger-1/+3
2024-03-20resolve clippy errorsonur-ozkan-1/+3
2024-03-19Ensure nested statics have a HIR node to prevent various queries from ICEingOli Scherer-0/+2
2024-03-19Auto merge of #122493 - lukas-code:sized-constraint, r=lcnrbors-4/+4
2024-03-18Avoid various uses of `Option<Span>` in favor of using `DUMMY_SP` in the few ...Oli Scherer-8/+7
2024-03-17Let codegen decide when to `mem::swap` with immediatesScott McMurray-2/+23
2024-03-17interpret/memory: explain why we use == on boolRalf Jung-0/+2
2024-03-15interpret/allocation: fix aliasing issue in interpreter and refactor getters ...Ralf Jung-3/+14
2024-03-14remove unnecessary sized checksLukas Markeffsky-4/+4
2024-03-14Move the entire success path into `eval_body_using_ecx`Oli Scherer-1/+1
2024-03-14Move generate_stacktrace_from_stack away from InterpCx to avoid having to kno...Oli Scherer-29/+27
2024-03-14Move InterpCx into eval_in_interpreterOli Scherer-1/+1
2024-03-14Move only usage of `take_static_root_alloc` to its definition and inline itOli Scherer-10/+15
2024-03-14Auto merge of #122243 - RalfJung:local-place-sanity-check, r=oli-obkbors-70/+58
2024-03-13placate tidy.Felix S. Klock II-1/+1
2024-03-13downgrade mutable-ptr-in-final-value from hard-error to future-incompat lint ...Felix S. Klock II-4/+8
2024-03-13Auto merge of #122240 - RalfJung:miri-addr-reuse, r=oli-obkbors-2/+4
2024-03-12Exhaustively match on the mutability and nestednessOli Scherer-7/+9
2024-03-12s/mt/mutability/Oli Scherer-4/+4
2024-03-12Ensure nested allocations in statics do not get deduplicatedOli Scherer-31/+98
2024-03-12Add `nested` bool to `DefKind::Static`.Oli Scherer-1/+1
2024-03-12Change `DefKind::Static` to a struct variantOli Scherer-9/+10
2024-03-11Rollup merge of #122249 - RalfJung:machine-read-hook, r=oli-obkJubilee-6/+43
2024-03-10remove unnecessary frame parameter from after_local_allocatedRalf Jung-4/+4
2024-03-10Auto merge of #121662 - saethlin:precondition-unification, r=RalfJungbors-4/+10
2024-03-09interpret: do not call machine read hooks during validationRalf Jung-6/+43