summary refs log tree commit diff
path: root/src/librustc_mir/interpret
AgeCommit message (Expand)AuthorLines
2019-12-13Rollup merge of #67256 - RalfJung:reduce-allocs, r=oli-obkMazdak Farrokhzad-29/+22
2019-12-12avoid more intermediate allocations in validation errorsRalf Jung-23/+16
2019-12-12validation: avoid some intermediate allocationsRalf Jung-6/+6
2019-12-12dont ICE in case of invalid drop fnRalf Jung-1/+12
2019-12-11Auto merge of #66650 - matthewjasper:nonuniform-array-move, r=pnkfelixbors-4/+10
2019-12-09Make const index and subslice array projections more usefulMatthew Jasper-4/+10
2019-12-08fix miri step debug printingRalf Jung-1/+3
2019-12-08Rollup merge of #66991 - Nashenas88:body_cache_cleanup, r=eddybMazdak Farrokhzad-1/+1
2019-12-07Auto merge of #65881 - anp:implicit-caller-location, r=eddyb,oli-obkbors-0/+16
2019-12-07Auto merge of #66927 - RalfJung:engines-dont-panic, r=oli-obkbors-8/+6
2019-12-06Address review feedback.Adam Perry-13/+6
2019-12-06Rename to `then_some` and `then`varkor-4/+4
2019-12-06Use `to_option` in various placesvarkor-4/+4
2019-12-05Implement #[track_caller] in const.Adam Perry-0/+23
2019-12-05rustc: Apply clearer naming to BodyAndCache, fix Deref impl, remove unneeded ...Paul Daniel Faria-1/+1
2019-12-04Auto merge of #66866 - oli-obk:const_fn_memoization, r=RalfJungbors-15/+4
2019-12-04Update src/librustc_mir/interpret/terminator.rsOliver Scherer-0/+1
2019-12-04Auto merge of #66275 - oli-obk:organize-intrinsics-promotion-checks, r=RalfJungbors-63/+66
2019-12-03Rollup merge of #66960 - wesleywiser:fix_66787_take2, r=oli-obk,RalfJungMazdak Farrokhzad-10/+13
2019-12-03[const-prop] Fix ICE calculating enum discriminantWesley Wiser-10/+13
2019-12-03Rollup merge of #66148 - oli-obk:it_must_be_a_sign, r=RalfJungMazdak Farrokhzad-3/+40
2019-12-03Check intrinsics for callability in const fnsMahmut Bulut-63/+66
2019-12-02Auto merge of #64736 - Nashenas88:mir_predecessors_cache_cleanup, r=oli-obkbors-3/+3
2019-12-02Fix remaining compilation issuesPaul Daniel Faria-2/+2
2019-12-02Simplify BodyCache impl and fix all remaining type errors in librustc_mir (li...Paul Daniel Faria-3/+3
2019-12-02Auto merge of #66874 - RalfJung:miri-assert-panic, r=oli-obkbors-114/+141
2019-12-02Rollup merge of #66827 - RalfJung:miri-missing-ret-place, r=oli-obkRalf Jung-15/+23
2019-12-02fix init_allocation_extraRalf Jung-16/+26
2019-12-02fat -> wideRalf Jung-6/+6
2019-12-02make alloc_extra machine hook a bit nicerRalf Jung-11/+15
2019-12-02add and use helper method to get SourceInfo of current instruction in frameRalf Jung-14/+22
2019-12-02Miri: add helper fn to allocate string; simplify alloc_caller_locationRalf Jung-32/+35
2019-12-02Add From instances for Pointer -> ScalarMaybeUndef and Pointer -> ImmediateRalf Jung-7/+14
2019-12-02expose span to M::assert_panic, and provide helper to turn that into CallerLo...Ralf Jung-10/+18
2019-12-02Miri: add machine hook for MIR-level assertion panicsRalf Jung-38/+25
2019-12-02Rollup merge of #66789 - eddyb:mir-source-scope-local-data, r=oli-obkMazdak Farrokhzad-2/+2
2019-12-01Miri core engine: use throw_ub instead of throw_panicRalf Jung-8/+6
2019-11-30`find_fn` -> `find_mir_or_eval_fn` renameOliver Scherer-2/+2
2019-11-29Use recursion_limit for const eval stack limitcad97-1/+1
2019-11-30rustc: move mir::SourceScopeLocalData to a field of SourceScopeData.Eduard-Mihai Burtescu-1/+1
2019-11-30rustc: move MIR source_scope_local_data's ClearCrossCrate to be around elements.Eduard-Mihai Burtescu-2/+2
2019-11-29Rollup merge of #66844 - RalfJung:caller-location-leak, r=oli-obkRalf Jung-5/+9
2019-11-29Auto merge of #66321 - ninjasource:async-fn-resume-after-completion, r=oli-obkbors-2/+4
2019-11-29Only memoize const fn calls during const evalOliver Scherer-13/+1
2019-11-28do not consider memory allocated by caller_location leakedRalf Jung-5/+9
2019-11-28Fixed tidy errorsDavid Haig-2/+4
2019-11-28Remove duplication using single variant for errorDavid Haig-4/+2
2019-11-28SquashDavid Haig-0/+2
2019-11-28Auto merge of #66294 - davidhewitt:const_fn_memoization, r=oli-obkbors-1/+32
2019-11-27commentRalf Jung-0/+7