summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret
AgeCommit message (Expand)AuthorLines
2023-05-27Rollup merge of #111952 - cjgillot:drop-replace, r=WaffleLapkinGuillaume Gomez-1/+1
2023-05-25Remove DesugaringKind::Replace.Camille GILLOT-1/+1
2023-05-25Manually add inlined frames in the interpreter stacktrace.Camille GILLOT-1/+14
2023-05-25Remove ExpnKind::Inlined.Camille GILLOT-5/+1
2023-05-17Finish move of query.rsJohn Kåre Alsaker-3/+2
2023-05-15Suppress "erroneous constant used" for constants tainted by errorsTomasz Miąsko-5/+5
2023-05-06use EarlyBinder in tcx.(try_)subst_mir_and_normalize_erasing_regionsKyle Matsuda-1/+5
2023-05-04Rollup merge of #110943 - RalfJung:interpret-unsized-arg-ice, r=oli-obkDylan DPC-0/+6
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-2/+2
2023-05-02Auto merge of #109521 - tmiasko:const-prop-validation, r=wesleywiserbors-10/+8
2023-04-28Rollup merge of #110944 - RalfJung:offset, r=compiler-errorsMatthias Krüger-1/+25
2023-04-28share BinOp::Offset between CTFE and MiriRalf Jung-1/+25
2023-04-28interpret: fail more gracefully on uninit unsized localsRalf Jung-0/+6
2023-04-27rename `needs_subst` to `has_param`Boxy-3/+3
2023-04-27Use trimmed paths in constantant validation errorsTomasz Miąsko-10/+8
2023-04-25Lower `intrinsics::offset` to `mir::BinOp::Offset`Scott McMurray-8/+0
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-2/+2
2023-04-22Auto merge of #104844 - cjgillot:mention-eval-place, r=jackh726,RalfJungbors-2/+8
2023-04-22Auto merge of #106934 - DrMeepster:offset_of, r=WaffleLapkinbors-3/+6
2023-04-21Evaluate place expression in `PlaceMention`.Camille GILLOT-2/+8
2023-04-21minor tweaksDrMeepster-1/+1
2023-04-21offset_ofDrMeepster-2/+5
2023-04-20Remove WithOptconstParam.Camille GILLOT-7/+6
2023-04-18Auto merge of #110083 - saethlin:encode-hashes-as-bytes, r=cjgillotbors-1/+1
2023-04-18Store hashes in special types so they aren't accidentally encoded as numbersBen Kimock-1/+1
2023-04-17Spelling - compilerJosh Soref-2/+2
2023-04-17Rollup merge of #110394 - scottmcm:less-idx-new, r=WaffleLapkinMatthias Krüger-8/+9
2023-04-16Report a backtrace for memory leaks under MiriBen Kimock-18/+18
2023-04-16Various minor Idx-related tweaksScott McMurray-8/+9
2023-04-13Implement `Copy` for `LocationDetail`Maybe Waffle-1/+1
2023-04-06Fix mir interp of `TerminatorKind::Terminate`Gary Guo-1/+2
2023-04-06Fix toolsGary Guo-0/+1
2023-04-06Rename `Abort` terminator to `Terminate`Gary Guo-2/+2
2023-04-06Add `UnwindAction::Terminate`Gary Guo-0/+3
2023-04-06Add `UnwindAction::Unreachable`Gary Guo-43/+21
2023-04-06Refactor unwind from Option to a new enumGary Guo-10/+12
2023-04-04Move a const-prop-lint specific hack from mir interpret to const-prop-lint an...Oli Scherer-8/+1
2023-04-01Use `FieldIdx` in various things related to aggregatesScott McMurray-4/+5
2023-03-30Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>`Scott McMurray-3/+7
2023-03-29Support TLS access into dylibs on WindowsJohn Kåre Alsaker-0/+1
2023-03-27Add a builtin `FnPtr` traitlcnr-0/+1
2023-03-25Refactor: `VariantIdx::from_u32(0)` -> `FIRST_VARIANT`Scott McMurray-2/+2
2023-03-24miri: fix raw pointer dyn receiversRalf Jung-1/+9
2023-03-22Add `CastKind::Transmute` to MIRScott McMurray-4/+16
2023-03-21Add a layout argument to `enforce_validity`.Oli Scherer-4/+5
2023-03-20Rollup merge of #109307 - cjgillot:inline-location, r=compiler-errorsMatthias Krüger-1/+5
2023-03-18Ignore `Inlined` spans when computing caller location.Camille GILLOT-1/+5
2023-03-16Tweak implementation of overflow checking assertionsTomasz Miąsko-8/+4
2023-03-12Auto merge of #108872 - cjgillot:simp-const-prop, r=oli-obkbors-17/+13
2023-03-09Introduce a no-op PlaceMention statement for `let _ =`.Camille GILLOT-1/+1