about summary refs log tree commit diff
path: root/src/librustc_mir
AgeCommit message (Expand)AuthorLines
2020-02-14Prepare to use borrowck to resolve opaque typesMatthew Jasper-64/+101
2020-02-14Arena allocate the result of mir_borrowckMatthew Jasper-3/+4
2020-02-15Rollup merge of #69051 - Centril:st-fixes, r=eddybYuki Okushi-0/+3
2020-02-14const-prop: use one helper method for all lints; consistently lint overflow o...Ralf Jung-87/+80
2020-02-14Call `is_freeze` less in unsafety-checkingMatthew Jasper-19/+26
2020-02-14Check `has_typeck_tables` before calling `typeck_tables_of`Yuki Okushi-1/+4
2020-02-13Don't print block exit state if unchangedDylan MacKenzie-20/+35
2020-02-13Print flow state in debug messages for `find_dead_unwinds`Dylan MacKenzie-3/+9
2020-02-13Use more descriptive name to get `InitializationData` stateDylan MacKenzie-5/+5
2020-02-13Use `seek_before` instead of `seek_after`Dylan MacKenzie-7/+7
2020-02-13Use `ResultsCursor` for `elaborate_drops`Dylan MacKenzie-81/+33
2020-02-13Kill move paths of dead variantsDylan MacKenzie-2/+35
2020-02-13Support effects for particular edges of `SwitchInt`Dylan MacKenzie-7/+110
2020-02-13Use an `Iterator` for `MovePath` traversalDylan MacKenzie-16/+47
2020-02-13Ignore mut borrow from drop terminator in const-evalDylan MacKenzie-12/+39
2020-02-13Rename `MaybeBorrowedLocals` constructorsDylan MacKenzie-5/+8
2020-02-13Check types of statics in MIR typeckMatthew Jasper-2/+16
2020-02-13Check `Copy` lifetimes bounds when copying from a projectionMatthew Jasper-27/+25
2020-02-13Rollup merge of #69126 - RalfJung:exact-div, r=oli-obkDylan DPC-2/+4
2020-02-13Don't instantiate so many copies of `drop_in_place`Matthew Jasper-3/+10
2020-02-13Auto merge of #68969 - RalfJung:dont-panic, r=oli-obkbors-142/+146
2020-02-13perf(mir): Reserve enough space for the merged blocks before appendingMarkus Westerlind-4/+17
2020-02-13fix typoRalf Jung-1/+1
2020-02-13miri: fix exact_divRalf Jung-2/+4
2020-02-13Avoid an intermediate Vec in mir simplifyMarkus Westerlind-7/+6
2020-02-13Use Vec::appendMarkus Westerlind-1/+1
2020-02-13Reuse a Vec in mir simplificationMarkus Westerlind-2/+2
2020-02-13rename PanicInfo -> AssertKindRalf Jung-21/+21
2020-02-13improve comments:Ralf Jung-4/+8
2020-02-13move PanicInfo to mir moduleRalf Jung-14/+16
2020-02-13no need for hook_panic_fn to return a boolRalf Jung-10/+8
2020-02-13remove PanicInfo::Panic variant that MIR does not use or needRalf Jung-6/+11
2020-02-13const-prop: handle overflow_check consistently for all operatorsRalf Jung-15/+10
2020-02-13remove Panic variant from InterpErrorRalf Jung-102/+102
2020-02-13Constness -> enum Const { Yes(Span), No }Mazdak Farrokhzad-5/+3
2020-02-12Don't give invalid suggestion on desugared span.spunit262-43/+45
2020-02-12Use `MaybeMutBorrowedLocals` for const-checkingDylan MacKenzie-19/+14
2020-02-12Use `MaybeBorrowedLocals` for generator analysesDylan MacKenzie-39/+27
2020-02-12Reenable peek test for indirect mutation analysisDylan MacKenzie-20/+6
2020-02-12Remove outdated `IndirectlyMutableLocals`Dylan MacKenzie-138/+0
2020-02-12Implement `Maybe{Mut,}BorrowedLocals` analysesDylan MacKenzie-62/+209
2020-02-12Impl `GenKill` for old dataflow framework's `GenKillSet`Dylan MacKenzie-0/+11
2020-02-12Rollup merge of #69002 - RalfJung:miri-op-overflow, r=oli-obk,wesleywiserDylan DPC-45/+63
2020-02-12Auto merge of #69094 - Dylan-DPC:rollup-4qe7uv1, r=Dylan-DPCbors-0/+1
2020-02-12Rollup merge of #69032 - chrissimpkins:ice-yield-println-#69017, r=petrochenkovDylan DPC-0/+1
2020-02-12Auto merge of #68241 - ecstatic-morse:unified-dataflow-impls, r=pnkfelixbors-516/+786
2020-02-11Review comments.Camille GILLOT-1/+1
2020-02-11Move lang_items definitions to librustc_lang_items.Camille GILLOT-1/+1
2020-02-11Clarify why you shouldn't override `Analysis::into_engine`Dylan MacKenzie-3/+11
2020-02-11Use exhaustive matchingDylan MacKenzie-1/+10