about summary refs log tree commit diff
path: root/src/librustc_mir
AgeCommit message (Expand)AuthorLines
2019-12-02Remove BodyCache.body and rely on Deref as much as possible for ReadOnlyBodyC...Paul Daniel Faria-58/+58
2019-12-02Fix typoPaul Daniel Faria-1/+1
2019-12-02Fix tidy errorsPaul Daniel Faria-58/+167
2019-12-02Fix typos caused during rebasePaul Daniel Faria-6/+6
2019-12-02Fix remaining compilation issuesPaul Daniel Faria-36/+48
2019-12-02Simplify BodyCache impl and fix all remaining type errors in librustc_mir (li...Paul Daniel Faria-414/+419
2019-12-02Fix remaining Body -> (ReadOnly)BodyCache type errors in librustc_mir outside...Paul Daniel Faria-14/+16
2019-12-02Add predecessors fn to ReadOnlyBodyCache, fix more Body -> (ReadOnly)BodyCach...Paul Daniel Faria-45/+46
2019-12-02Add read_only fn to BodyCache<&mut...> impl, fix more Body -> (ReadOnly)BodyC...Paul Daniel Faria-40/+39
2019-12-02Fix a large number of Body -> (ReadOnly)BodyCache type errors, add predecesso...Paul Daniel Faria-162/+164
2019-12-02Simplify Cache wrapper to single type, impl Deref on it, fix all compilation ...Paul Daniel Faria-75/+26
2019-12-02Move predecessors cache back to its own typePaul Daniel Faria-1/+2
2019-12-02Address nits and remove unneeded passPaul Daniel Faria-8/+4
2019-12-02Move predecessors cache invalidation back to basic_blocks_mut, add a couple m...Paul Daniel Faria-69/+84
2019-12-02Ensure predecessors are recomputed at critical points, fixes panicsPaul Daniel Faria-5/+22
2019-12-02Address linting errors caught by CIPaul Daniel Faria-2/+2
2019-12-02Add pass to ensure predecessors cache is generated after optimizationPaul Daniel Faria-0/+17
2019-12-02Stop invalidating predecessors cache when accessing unique basic block, inval...Paul Daniel Faria-64/+70
2019-12-02Inline cache impl into Body, rename predecessor fns, change output of predece...Paul Daniel Faria-2/+2
2019-12-02Remove interior mutability in mir predecessors cachePaul Daniel Faria-2/+2
2019-12-02Auto merge of #66874 - RalfJung:miri-assert-panic, r=oli-obkbors-118/+188
2019-12-02Rollup merge of #66827 - RalfJung:miri-missing-ret-place, r=oli-obkRalf Jung-15/+23
2019-12-02Rollup merge of #66654 - ecstatic-morse:check-consts-ref, r=eddyb,matthewjasperRalf Jung-129/+101
2019-12-02fix init_allocation_extraRalf Jung-20/+30
2019-12-02Assert terminator is never executed in ConstPropRalf Jung-1/+1
2019-12-02fat -> wideRalf Jung-6/+6
2019-12-02make alloc_extra machine hook a bit nicerRalf Jung-17/+21
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-33/+36
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/+20
2019-12-02Miri: add machine hook for MIR-level assertion panicsRalf Jung-39/+67
2019-12-02make use of Result::map_orLzu Tao-1/+1
2019-12-02Rollup merge of #66926 - RalfJung:miri-stop, r=oli-obkMazdak Farrokhzad-1/+1
2019-12-02Rollup merge of #66789 - eddyb:mir-source-scope-local-data, r=oli-obkMazdak Farrokhzad-123/+90
2019-12-01Incorporate fixes from reviewDylan MacKenzie-5/+3
2019-12-01Miri core engine: use throw_ub instead of throw_panicRalf Jung-8/+6
2019-12-01add reusable MachineStop variant to Miri engine error enumRalf Jung-1/+1
2019-12-01Rollup merge of #66832 - RalfJung:const-prop-no-alloc, r=oli-obkMazdak Farrokhzad-7/+25
2019-12-01Rollup merge of #66790 - christianpoveda:check-set-discriminant, r=oli-obkMazdak Farrokhzad-3/+2
2019-12-01Rollup merge of #66726 - CAD97:miri-recursion-limit, r=RalfJungMazdak Farrokhzad-1/+1
2019-12-01Rollup merge of #66679 - mark-i-m:fix-anon-lifetime-errors, r=matthewjasperMazdak Farrokhzad-61/+37
2019-11-30Merge match branchesChristian Poveda-4/+1
2019-11-30Don't repeat the `is_const_fn_raw` checkOliver Scherer-14/+12
2019-11-30`find_fn` -> `find_mir_or_eval_fn` renameOliver Scherer-5/+5
2019-11-30rustc_mir: use nicer path printing for #[rustc_regions] NLL tests.Eduard-Mihai Burtescu-12/+10
2019-11-30Rollup merge of #66895 - Centril:rustc_feature, r=oli-obkMazdak Farrokhzad-24/+24
2019-11-30Rollup merge of #66870 - tmiasko:simplify-ty, r=oli-obkMazdak Farrokhzad-1/+7
2019-11-30Rollup merge of #66612 - Nadrieril:or-patterns-initial, r=varkorMazdak Farrokhzad-15/+53
2019-11-30Apply suggestions from code reviewNadrieril Feneanar-2/+2