about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/intern.rs
AgeCommit message (Expand)AuthorLines
2023-12-07ctfe interpreter: extend provenance so that it can track whether a pointer is...Ralf Jung-11/+13
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-4/+4
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-1/+1
2023-10-25Rename has_provance and tweaks comments.Camille GILLOT-1/+4
2023-10-25Take an AllocId in intern_const_alloc_for_constprop.Camille GILLOT-2/+1
2023-10-25Move provenance checks out of interning method.Camille GILLOT-12/+2
2023-10-25Directly intern values instead of copying them.Camille GILLOT-0/+44
2023-10-15separate bounds-check from alignment checkRalf Jung-2/+2
2023-10-15don't UB on dangling ptr deref, instead check inbounds on projectionsRalf Jung-1/+1
2023-09-14use AllocId instead of Allocation in ConstValue::ByRefRalf Jung-5/+9
2023-09-04interpret: make MemPlace, Place, Operand types private to the interpreterRalf Jung-6/+6
2023-08-27miri/diagnostics: don't forget to print_backtrace when ICEing on unexpected e...Ralf Jung-1/+2
2023-07-25make MPlaceTy non-CopyRalf Jung-2/+2
2023-07-25interpret: make read functions generic over operand typeRalf Jung-1/+1
2023-07-25interpret: refactor projection code to work on a common trait, and use that f...Ralf Jung-70/+57
2023-07-11miri: protect Move() function arguments during the callRalf Jung-1/+1
2023-06-01Use translatable diagnostics in `rustc_const_eval`Deadbeef-13/+14
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-1/+1
2023-02-24Rename many interner functions.Nicholas Nethercote-3/+3
2023-02-20basic dyn* support for MiriRalf Jung-1/+1
2023-01-31Download rustc component for rustfmt toolchain as wellMark Rousskov-9/+9
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-5/+5
2022-11-06interpret: support for per-byte provenanceRalf Jung-2/+2
2022-10-29Rollup merge of #103625 - WaffleLapkin:no_tyctxt_dogs_allowed, r=compiler-errorsGuillaume Gomez-1/+1
2022-10-27Accept `TyCtxt` instead of `TyCtxtAt` in `Ty::is_*` functionsMaybe Waffle-1/+1
2022-10-18Remove allow(rustc::potential_query_instability) in rustc_const_evalCastilloDel-5/+5
2022-10-07make const_err a hard errorRalf Jung-2/+0
2022-09-01Directly use the `instrument` macro instead of its full pathOli Scherer-1/+1
2022-08-27interpret: rename relocation → provenanceRalf Jung-7/+7
2022-07-23now we can make scalar_to_ptr a method on ScalarRalf Jung-1/+1
2022-07-20rename get_global_alloc to try_get_global_allocRalf Jung-2/+2
2022-07-19interpret: rename Tag/PointerTag to Prov/ProvenanceRalf Jung-2/+2
2022-07-07`UnsafeCell` now has no niches, ever.Oli Scherer-1/+1
2022-07-02Auto merge of #97585 - lqd:const-alloc-intern, r=RalfJungbors-2/+45
2022-06-29interpret: add From<&MplaceTy> for PlaceTyRalf Jung-1/+1
2022-06-29avoid walk when `get_ptr_alloc` returns no `AllocRef`Rémy Rakic-0/+3
2022-06-29fix commentsRémy Rakic-5/+5
2022-06-28const alloc interning: only check for references for arrays/slicesRémy Rakic-14/+18
2022-06-28ctfe: clarify skipping the interning walkRémy Rakic-11/+30
2022-06-28ctfe interning: don't walk allocations that don't need itRémy Rakic-3/+20
2022-04-07interpret: err instead of ICE on size mismatches in to_bits_or_ptr_internalRalf Jung-1/+1
2022-03-30Spellchecking some commentsYuri Astrakhan-1/+1
2022-03-16rustc_error: make ErrorReported impossible to constructmark-2/+5
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-1/+1
2022-03-09normalization change and rebaseb-naber-0/+2
2022-03-07Introduce `ConstAllocation`.Nicholas Nethercote-4/+7
2022-03-02rename ErrorReported -> ErrorGuaranteedmark-3/+3
2022-02-19rustc_const_eval: adopt let else in more placesest31-15/+12
2021-12-13Remove `in_band_lifetimes` from `rustc_const_eval`LegionMammal978-5/+6
2021-09-07Rename rustc_mir to rustc_const_eval.Camille GILLOT-0/+437