about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret
AgeCommit message (Expand)AuthorLines
2023-07-06Auto merge of #113377 - BoxyUwU:move_ty_ctors_to_ty, r=compiler-errorsbors-7/+12
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-7/+12
2023-07-05Remove a function argument that is always passed with the same value.Oli Scherer-1/+1
2023-07-05Specialize `try_destructure_mir_constant` for its sole userOli Scherer-1/+1
2023-07-01Put `LayoutError` behind reference to shrink resultNilstrieb-1/+1
2023-06-19Rollup merge of #112232 - fee1-dead-contrib:match-eq-const-msg, r=b-naberMichael Goulet-1/+1
2023-06-19Dedup some type checks in the MIR validatorScott McMurray-26/+4
2023-06-19Remove unchecked_add/sub/mul/shl/shr from CTFE/cg_ssa/cg_clifScott McMurray-31/+0
2023-06-19Promote unchecked_add/sub/mul/shl/shr to mir::BinOpScott McMurray-25/+49
2023-06-18Better error for non const `PartialEq` call generated by `match`Deadbeef-1/+1
2023-06-04Use 128 bits for TypeId hashThom Chiovoloni-2/+2
2023-06-02Rollup merge of #112168 - scottmcm:lower-div-rem-unchecked-to-mir, r=oli-obkMichael Goulet-5/+1
2023-06-01Use translatable diagnostics in `rustc_const_eval`Deadbeef-228/+260
2023-06-01remove unchecked_div/_rem from ctfeScott McMurray-5/+1
2023-06-01Auto merge of #103877 - oli-obk:const_eval_step_limit, r=fee1-deadbors-0/+10
2023-05-31Remove const eval limit and implement an exponential backoff lint insteadOli Scherer-0/+10
2023-05-29EarlyBinder::new -> EarlyBinder::bindlcnr-1/+1
2023-05-28Replace EarlyBinder(x) with EarlyBinder::new(x)Kyle Matsuda-1/+1
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