about summary refs log tree commit diff
path: root/src/librustc_mir
AgeCommit message (Expand)AuthorLines
2020-04-09Use new utility in `eval_context`Dylan MacKenzie-9/+10
2020-04-09Make `MaybeStorageLive` correct for all kinds of MIR bodiesDylan MacKenzie-5/+17
2020-04-09Add utility to find locals that don't use `Storage*` annotationsDylan MacKenzie-0/+43
2020-04-09Normalize MIR locals' types for generator layout computation.Oliver Scherer-1/+4
2020-04-09tighten CTFE safety net for accesses to globalsRalf Jung-8/+23
2020-04-09Auto merge of #70860 - lcnr:has_local_value, r=nikomatsakisbors-3/+3
2020-04-08Use `PredicateObligation`s instead of `Predicate`sEsteban Küber-1/+1
2020-04-08replace `has_local_value` with `needs_infer`Bastian Kauschke-3/+3
2020-04-08Suggest move for closures and async blocks in more cases.Alex Aktsipetrov-39/+24
2020-04-08Replace "rc"/"arc" lang items with Rc/Arc diagnostic items.Eduard-Mihai Burtescu-17/+20
2020-04-07Rollup merge of #70846 - tmiasko:compiler-builtins-codegen-units, r=alexcrichtonDylan DPC-1/+8
2020-04-07Rollup merge of #70762 - RalfJung:miri-leak-check, r=oli-obkDylan DPC-76/+116
2020-04-06ty: switch `Ty::walk` from `Ty` to `GenericArg`.Eduard-Mihai Burtescu-10/+22
2020-04-06Auto merge of #70771 - RalfJung:ctfe-loop, r=oli-obkbors-31/+49
2020-04-06Rollup merge of #70827 - estebank:shorten-sugg-span-add-lt, r=ecstatic-morseMazdak Farrokhzad-27/+16
2020-04-06Keep codegen units unmerged when building compiler builtinsTomasz Miąsko-1/+8
2020-04-05Use smaller span for suggestion restricting lifetimeEsteban Küber-27/+16
2020-04-05make set_span public, as all the fields it touches are public alreadyRalf Jung-1/+1
2020-04-05set span more accurately during const_propRalf Jung-7/+13
2020-04-05Miri engine: use span_bug in a few placesRalf Jung-20/+32
2020-04-05Miri terminator handling: only do progress sanity check for 'Call' terminatorRalf Jung-5/+5
2020-04-05Rollup merge of #70777 - faern:use-assoc-int-consts2, r=dtolnayDylan DPC-1/+1
2020-04-05Remove Arcs in queries.Camille GILLOT-9/+9
2020-04-05Rollup merge of #70806 - RalfJung:miri-assignment-check, r=eddybDylan DPC-19/+39
2020-04-05fix commentRalf Jung-3/+3
2020-04-05miri assignment check: compare types after normalizing all late-bound regions...Ralf Jung-19/+39
2020-04-05Stop importing int/float modules in librustc_*Linus Färnstrand-1/+1
2020-04-04Miri: remove an outdated FIXMERalf Jung-1/+0
2020-04-04indicate better which kind of memory got leakedRalf Jung-12/+16
2020-04-04share more alloc printing code between Miri and MIR dumpingRalf Jung-63/+78
2020-04-04avoid printing allocations twiceRalf Jung-9/+11
2020-04-04Miri leak_report: do not report leaks of allocations that are reachable from ...Ralf Jung-5/+24
2020-04-03Auto merge of #70156 - michaelwoerister:incr-cgus, r=nikomatsakisbors-24/+60
2020-04-03Rollup merge of #70707 - ecstatic-morse:dataflow-graphviz-cleanup, r=nikomats...Mazdak Farrokhzad-277/+0
2020-04-03Minor follow-up after renaming librustc(_middle)Yuki Okushi-2/+2
2020-04-03Rollup merge of #70532 - RalfJung:miri-assign, r=eddybMazdak Farrokhzad-52/+69
2020-04-03Rollup merge of #70595 - wesleywiser:remove_unused_discriminant_reads, r=oli-obkMazdak Farrokhzad-11/+15
2020-04-02switch assignment check back to testing layout equalityRalf Jung-18/+23
2020-04-02also use mir_assign_valid_types in from_known_layout checkRalf Jung-63/+58
2020-04-02also accept fn-ptr-type-changing assignmentsRalf Jung-2/+7
2020-04-02Miri engine: stronger type-based sanity check for assignmentsRalf Jung-5/+17
2020-04-02Remove unused graphviz visualizationDylan MacKenzie-277/+0
2020-04-02Remove unused discriminant reads from MIR bodiesWesley Wiser-11/+15
2020-04-02direct imports for langitem stuffMazdak Farrokhzad-5/+5
2020-04-02nix rustc_target::abi::* reexport in ty::layoutMazdak Farrokhzad-89/+84
2020-04-01Rollup merge of #70616 - anyska:fieldplacement-rename, r=oli-obkDylan DPC-7/+7
2020-04-01Rollup merge of #70590 - RalfJung:miri-backtrace, r=oli-obkDylan DPC-74/+35
2020-04-01Rollup merge of #70627 - spastorino:use-place-directly-its-copy, r=oli-obkMazdak Farrokhzad-295/+286
2020-04-01Rollup merge of #70511 - ecstatic-morse:mir-dataflow-graphviz, r=davidtwcoMazdak Farrokhzad-7/+26
2020-03-31Use Place directly in apply_call_return_effect on framework/tests, it's CopySantiago Pastorino-1/+1