about summary refs log tree commit diff
path: root/src/librustc_mir/interpret
AgeCommit message (Expand)AuthorLines
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
2019-11-27handle diverging functions forwarding their return placeRalf Jung-15/+16
2019-11-27Rollup merge of #66798 - bwignall:typo, r=varkorTyler Mandry-1/+1
2019-11-27Add memoization for const function evaluationsDavid Hewitt-1/+32
2019-11-27Auto merge of #66677 - wesleywiser:fix_const_prop_alloc_id_ice, r=oli-obkbors-24/+33
2019-11-26Fix spelling typosBrian Wignall-1/+1
2019-11-27Auto merge of #66794 - tmandry:rollup-99qrpr0, r=tmandrybors-13/+18
2019-11-26Rollup merge of #66663 - RalfJung:miri-leaks, r=oli-obkTyler Mandry-13/+18
2019-11-26Auto merge of #66646 - RalfJung:unwind_to_block, r=oli-obkbors-120/+126
2019-11-26Show the sign of signed interpreter valuesOliver Scherer-3/+40
2019-11-25make sure we handle all transmute invocations, including diverging onesRalf Jung-3/+7
2019-11-25miri: couple ret place and ret block together (they both exist or both don't)Ralf Jung-52/+55
2019-11-25move ABI check out to cover all callsRalf Jung-24/+24
2019-11-25unify call_intrinsic handling of intruction pointer with other machine hooksRalf Jung-23/+5
2019-11-25refactor goto_block and also add unwind_to_blockRalf Jung-20/+37
2019-11-25Auto merge of #66279 - cjgillot:hashstable, r=Zoxcbors-12/+20
2019-11-24Respond to CR feedbackWesley Wiser-62/+11
2019-11-23only print LEAK REPORT if there is a leakRalf Jung-2/+4
2019-11-23Miri: print leak report even without tracingRalf Jung-12/+15
2019-11-22Allow miri allocation interning to work im generic MachinesWesley Wiser-26/+86
2019-11-22Revert "Revert expansion of impl HashStable for Frame."Camille GILLOT-12/+20
2019-11-22fix reoccuring typo: dereferencable -> dereferenceableRalf Jung-5/+5