about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src
AgeCommit message (Expand)AuthorLines
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/+12
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/+12
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/+16
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
2024-03-22Fix validation on substituted callee bodies in MIR inlinerMichael Goulet-4/+15
2024-03-22Rollup merge of #122784 - jswrenn:tag_for_variant, r=compiler-errorsMatthias Krüger-68/+304
2024-03-22Add `tag_for_variant` queryJack Wrenn-68/+304
2024-03-22Make RawPtr take Ty and Mutbl separatelyMichael Goulet-2/+2
2024-03-22Programmatically convert some of the pat ctorsMichael Goulet-10/+8
2024-03-22Rollup merge of #122542 - Zalathar:cleanup, r=oli-obkMatthias Krüger-1/+12
2024-03-22Rollup merge of #122537 - RalfJung:interpret-allocation, r=oli-obkMatthias Krüger-3/+14
2024-03-22coverage: Clean up marker statements that aren't needed laterZalathar-1/+12