about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src
AgeCommit message (Expand)AuthorLines
2023-03-18Rollup merge of #109234 - tmiasko:overflow-checks, r=cjgillotMatthias Krüger-8/+4
2023-03-16Tweak implementation of overflow checking assertionsTomasz Miąsko-8/+4
2023-03-16Auto merge of #108944 - cjgillot:clear-local-info, r=oli-obkbors-4/+5
2023-03-15Auto merge of #108282 - cjgillot:mir-checked-sh, r=tmiaskobors-9/+0
2023-03-14Remove LocalKind::Var.Camille GILLOT-3/+4
2023-03-14Wrap the whole LocalInfo in ClearCrossCrate.Camille GILLOT-1/+1
2023-03-12Auto merge of #108872 - cjgillot:simp-const-prop, r=oli-obkbors-17/+13
2023-03-11Simplify message pathsest31-1/+1
2023-03-10Auto merge of #108977 - matthiaskrgr:rollup-1bnl1hu, r=matthiaskrgrbors-1/+1
2023-03-09Remove body_def_id from InheritedMichael Goulet-1/+1
2023-03-09Introduce a no-op PlaceMention statement for `let _ =`.Camille GILLOT-1/+10
2023-03-08Rollup merge of #108856 - Zeegomo:remove-drop-and-rep, r=tmiaskoMatthias Krüger-36/+3
2023-03-08Assume the frame has all the locals.Camille GILLOT-17/+13
2023-03-07remove leftover commentGiacomo Pasini-3/+0
2023-03-07Remove DropAndReplace terminatorGiacomo Pasini-33/+3
2023-03-06Rollup merge of #108803 - cjgillot:const-prop-normalize, r=oli-obkMatthias Krüger-9/+2
2023-03-06Rollup merge of #108790 - cjgillot:mono-cast, r=oli-obkMatthias Krüger-13/+22
2023-03-06Rollup merge of #108786 - saethlin:free-regions-check, r=oli-obkMatthias Krüger-0/+11
2023-03-06Rollup merge of #107801 - davidtwco:stability-implies-const, r=NilstriebMatthias Krüger-7/+22
2023-03-06Do not ICE when failing to normalize in ConstProp.Camille GILLOT-9/+2
2023-03-05Do not ICE when casting polymorphic values.Camille GILLOT-13/+22
2023-03-05Check for free regions in MIR validationBen Kimock-0/+11
2023-03-05Auto merge of #108351 - petrochenkov:rmdit, r=cjgillotbors-4/+2
2023-03-04Rollup merge of #108669 - Nilstrieb:query-my-uninitness, r=compiler-errorsDylan DPC-1/+5
2023-03-03Rollup merge of #108685 - est31:backticks_matchmaking, r=petrochenkovMatthias Krüger-3/+3
2023-03-03Don't put integers into backticks during formattingest31-2/+2
2023-03-03Match end user facing unmatched backticks in compiler/est31-2/+2
2023-03-02Rollup merge of #108022 - CraftSpider:align-bytes, r=oli-obkMatthias Krüger-21/+46
2023-03-02rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov-4/+2
2023-03-02Allow checking whether a type allows being uninitializedNilstrieb-1/+5
2023-03-01Rollup merge of #108505 - Nilstrieb:further-unify-validity-intrinsics, r=mich...Matthias Krüger-62/+50
2023-02-27Auto merge of #108487 - cjgillot:no-typeck-mir, r=oli-obkbors-4/+2
2023-02-27Implement checked Shl/Shr at MIR building.Camille GILLOT-9/+0
2023-02-27Unify all validity check intrinsicsNilstrieb-62/+50
2023-02-27Auto merge of #108175 - cjgillot:validate-storage, r=tmiaskobors-2/+20
2023-02-27Rollup merge of #108364 - Nilstrieb:validity-checks-refactor, r=compiler-errorsMatthias Krüger-11/+11
2023-02-26Access upvars through a query.Camille GILLOT-4/+2
2023-02-25Explain that this is UB catching instead of malformed MIR.Camille GILLOT-0/+7
2023-02-25MIR-Validate StorageLive.Camille GILLOT-2/+13
2023-02-24Rename many interner functions.Nicholas Nethercote-10/+11
2023-02-23Unify validity checks into a single queryNilstrieb-11/+11
2023-02-22Auto merge of #108340 - eggyal:remove_traversal_trait_aliases, r=oli-obkbors-7/+11
2023-02-22Remove type-traversal trait aliasesAlan Egerton-7/+11
2023-02-22errors: generate typed identifiers in each crateDavid Wood-9/+13
2023-02-21Auto merge of #107728 - RalfJung:miri-dyn-star, r=RalfJung,oli-obkbors-71/+177
2023-02-20Minimal changes to make miri workRune Tynan-8/+17
2023-02-20Fix alloc_base_addr typeRune Tynan-1/+1
2023-02-20Allow non-`Box` allocations in preparation for aligned const allocations for ...Rune Tynan-20/+36
2023-02-20Revert most of the custom place computation, it was unnecessary.Oli Scherer-15/+10
2023-02-20Remove commented out codeOli Scherer-2/+0
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-12-02 21:22:21 +0000