about summary refs log tree commit diff
path: root/compiler/rustc_const_eval
AgeCommit message (Expand)AuthorLines
2024-04-18Simplify `static_assert_size`s.Nicholas Nethercote-2/+2
2024-04-18Auto merge of #122684 - oli-obk:delay_interning_errors_to_after_validaiton, r...bors-87/+129
2024-04-17Rollup merge of #124030 - RalfJung:adjust_alloc_base_pointer, r=oli-obkMatthias Krüger-26/+39
2024-04-17Use less fragile error handlingOli Scherer-18/+16
2024-04-17Validate before reporting interning errors.Oli Scherer-23/+52
2024-04-17Simplify alloc id mutability checkOli Scherer-10/+15
2024-04-17Deduplicate logic for checking the mutability of allocationsOli Scherer-79/+75
2024-04-17Run the "is this static mutable" logic the same way as in `in_mutable_memory`Oli Scherer-14/+16
2024-04-17Validate nested static itemsOli Scherer-7/+19
2024-04-17interpret: rename base_pointer -> root_pointerRalf Jung-18/+18
2024-04-17interpret: pass MemoryKind to adjust_alloc_base_pointerRalf Jung-11/+24
2024-04-17Rollup merge of #122813 - nnethercote:nicer-quals, r=compiler-errorsMatthias Krüger-6/+7
2024-04-17Rollup merge of #123675 - oli-obk:static_wf_ice, r=compiler-errorsGuillaume Gomez-0/+5
2024-04-16Add simple async drop glue generationzetanumbers-0/+1
2024-04-16Rollup merge of #124024 - RalfJung:interpret-comment, r=oli-obkMatthias Krüger-3/+0
2024-04-16interpret: remove outdated commentRalf Jung-3/+0
2024-04-16interpret: pass MemoryKind to before_memory_deallocationRalf Jung-0/+2
2024-04-16Add an assertion in const evalMaybe Waffle-2/+8
2024-04-16Change intrinsic types to use `u32` instead of `T` to match stable reexportsMaybe Waffle-8/+13
2024-04-16Taint const qualifs if a static is referenced that didn't pass wfcheckOli Scherer-0/+5
2024-04-16Rename a tiny module.Nicholas Nethercote-5/+5
2024-04-16Always use `ty::` qualifier for `TyKind` enum variants.Nicholas Nethercote-4/+5
2024-04-08Actually create ranged int types in the type system.Oli Scherer-2/+22
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-5/+5
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-5/+5
2024-04-02Auto merge of #123385 - matthiaskrgr:rollup-v69vjbn, r=matthiaskrgrbors-1/+13
2024-04-02Auto merge of #118310 - scottmcm:three-way-compare, r=davidtwcobors-2/+36
2024-04-02Forbid implicit nested statics in thread local staticsOli Scherer-1/+13
2024-03-31Don't inherit codegen attrs from parent staticMichael Goulet-3/+8
2024-03-27Rollup merge of #123133 - xiaoxiangxianzi:master, r=fmeaseMatthias Krüger-1/+1
2024-03-27chore: fix some commentsxiaoxiangxianzi-1/+1
2024-03-27Rollup merge of #123021 - compiler-errors:coroutine-layout-lol, r=oli-obkGuillaume Gomez-11/+11
2024-03-26Auto merge of #111769 - saethlin:ctfe-backtrace-ctrlc, r=RalfJungbors-1/+18
2024-03-24Relax validation nowMichael Goulet-5/+4
2024-03-24Require coroutine kind type to be passed to TyCtxt::coroutine_layoutMichael Goulet-6/+7
2024-03-24Rollup merge of #122937 - Zalathar:unbox, r=oli-obkMatthias Krüger-2/+1
2024-03-23Add+Use `mir::BinOp::Cmp`Scott McMurray-2/+36
2024-03-24Rollup merge of #122168 - compiler-errors:inline-coroutine-body-validation, r...Matthias Krüger-4/+15
2024-03-23also rename the SIMD intrinsicRalf Jung-2/+2
2024-03-23Auto merge of #122629 - RalfJung:assert-unsafe-precondition, r=saethlinbors-13/+3
2024-03-23refactor check_{lang,library}_ub: use a single intrinsic, put policy into lib...Ralf Jung-13/+3
2024-03-23Auto merge of #122947 - matthiaskrgr:rollup-10j7orh, r=matthiaskrgrbors-25/+28
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-3/+3
2024-03-23Unbox and unwrap the contents of `StatementKind::Coverage`Zalathar-2/+1
2024-03-23tag_for_variant follow-upsRalf Jung-25/+28
2024-03-22Auto merge of #122900 - matthiaskrgr:rollup-nls90mb, r=matthiaskrgrbors-68/+304