summaryrefslogtreecommitdiff
path: root/src/librustc_mir
Commit message (Expand)AuthorAgeFilesLines
* Instantiate all bound vars existentiallyscalexm2018-11-132-2/+2
* Deduplicate field and variant visitor methodsOliver Scherer2018-11-121-25/+22
* miri-engine value visitor update to VariantIdxOliver Scherer2018-11-122-9/+41
* Use type safe `VariantIdx` instead of `usize` everywhereOliver Scherer2018-11-1217-62/+76
* Use IndexVec instead of `usize` in librustcOliver Scherer2018-11-121-1/+1
* Merge an assert + cast into a `try_into` callOliver Scherer2018-11-121-2/+1
* Auto merge of #55657 - davidtwco:issue-55651, r=pnkfelixbors2018-11-112-6/+39
|\
| * Improve predecessor detection.David Wood2018-11-051-6/+8
| * Unions reinitialized after assignment into field.David Wood2018-11-032-6/+37
* | Auto merge of #55674 - oli-obk:miri_engine_refactoring, r=RalfJungbors2018-11-116-157/+9
|\ \
| * | Rebase falloutOliver Scherer2018-11-081-1/+0
| * | Give `AllocationExtra`s access to their entire `Allocation`Oliver Scherer2018-11-081-2/+2
| * | FalloutOliver Scherer2018-11-084-7/+8
| * | Move the `memory_accessed` hook onto the `Extra` valueOliver Scherer2018-11-081-20/+0
| * | Move `ScalarMaybeUndef` back to rustcOliver Scherer2018-11-082-129/+1
* | | Rollup merge of #55822 - davidtwco:issue-55394, r=pnkfelixPietro Albini2018-11-111-16/+18
|\ \ \
| * | | Fix ICE and find correct return span.David Wood2018-11-091-16/+18
| |/ /
* | | Rollup merge of #55802 - wesleywiser:inlined_calls_2_electric_boogaloo, r=nagisaPietro Albini2018-11-111-45/+49
|\ \ \
| * | | Don't inline virtual calls (take 2)Wesley Wiser2018-11-091-45/+49
* | | | Rollup merge of #55792 - oli-obk:propsicle, r=RalfJungPietro Albini2018-11-111-8/+8
|\ \ \ \
| * | | | Prevent ICE in const-prop array oob checkOliver Scherer2018-11-081-8/+8
| | |/ / | |/| |
* | | | Rollup merge of #55745 - nnethercote:outlives_components-SmallVec, r=matthewj...Pietro Albini2018-11-111-1/+6
|\ \ \ \
| * | | | Use `SmallVec` outparams in several functions.Nicholas Nethercote2018-11-081-1/+6
* | | | | Auto merge of #55650 - nikic:funnel-shift, r=nagisabors2018-11-102-0/+20
|\ \ \ \ \
| * | | | | Implement rotate using funnel shift on LLVM >= 7Nikita Popov2018-11-032-0/+20
* | | | | | Auto merge of #55637 - pnkfelix:issue-55552-dont-attempt-to-ascribe-projectio...bors2018-11-101-8/+27
|\ \ \ \ \ \ | |_|_|_|/ / |/| | | | |
| * | | | | If we encounter `_` ascribed to structural pattern like `(a, b)`, just skip r...Felix S. Klock II2018-11-031-8/+27
* | | | | | Rollup merge of #55761 - ljedrz:fix_promote_candidate_hack, r=estebankMark Rousskov2018-11-081-10/+5
|\ \ \ \ \ \
| * | | | | | mir: remove a hacky recursive helper functionljedrz2018-11-071-10/+5
* | | | | | | Rollup merge of #55758 - davidtwco:issue-55344, r=pnkfelixMark Rousskov2018-11-082-28/+96
|\ \ \ \ \ \ \
| * | | | | | | Ignore never-initialized locals for `unused_mut`.David Wood2018-11-072-28/+96
| | |_|_|/ / / | |/| | | | |
* | | | | | | Rollup merge of #55755 - ljedrz:a_few_indexvec_tweaks, r=varkorMark Rousskov2018-11-081-2/+3
|\ \ \ \ \ \ \
| * | | | | | | Improve creation of 3 IndexVecsljedrz2018-11-081-2/+3
| | |/ / / / / | |/| | | | |
* | | | | | | Rollup merge of #55753 - ljedrz:borrow_set_insert_clone, r=oli-obkMark Rousskov2018-11-081-12/+3
|\ \ \ \ \ \ \
| * | | | | | | borrow_set: remove a helper function and a clone it usesljedrz2018-11-071-12/+3
| |/ / / / / /
* | | | | | | Rollup merge of #55739 - wesleywiser:mir_inline_fuel, r=nikomatsakisMark Rousskov2018-11-081-1/+13
|\ \ \ \ \ \ \ | |_|_|_|_|/ / |/| | | | | |
| * | | | | | Consume optimization fuel from the MIR inlinerWesley Wiser2018-11-071-1/+13
| |/ / / / /
* | | | | | Rollup merge of #55645 - RalfJung:validity-range-inclusive, r=oli-obkkennytm2018-11-078-382/+676
|\ \ \ \ \ \
| * | | | | | pretty-print scalar range that only has an upper boundRalf Jung2018-11-071-1/+4
| * | | | | | do not print wrapping ranges like normal ranges in diagnosticsRalf Jung2018-11-071-28/+38
| * | | | | | Auto merge of #55549 - RalfJung:miri-visitor, r=oli-obkbors2018-11-078-356/+637
| |\ \ \ \ \ \ | | |/ / / / / | |/| | | | |
| | * | | | | walk_value: more tracingRalf Jung2018-11-051-0/+1
| | * | | | | make ValueVisitor mut-polymorphicRalf Jung2018-11-053-219/+190
| | * | | | | machine hooks for ptr (de)ref also need layout, and then they do not need the...Ralf Jung2018-11-052-31/+19
| | * | | | | FIXMERalf Jung2018-11-051-1/+1
| | * | | | | visit_aggregate with an iterator; fix some comment typosRalf Jung2018-11-052-40/+65
| | * | | | | the visitor can already load the value for visit_primitiveRalf Jung2018-11-052-15/+18
| | * | | | | all values can convert to operatorsRalf Jung2018-11-051-45/+46
| | * | | | | finally this actually looks like a visitorRalf Jung2018-11-052-132/+118
| | * | | | | use more traditional walk_array/visit_array instead of the handle_array hookRalf Jung2018-11-052-71/+73