about summary refs log tree commit diff
path: root/src/librustc_mir
AgeCommit message (Collapse)AuthorLines
2019-12-04Only warn about missing patterns in the case of an enumNadrieril-2/+2
2019-12-04Make empty match lint more consistent under exhaustive_patternsNadrieril-7/+9
2019-12-04Tweak error on empty matchNadrieril-7/+6
2019-12-04Factor out some `non_exhaustive`-related checksNadrieril-14/+21
2019-12-04Fix explanation of handling of empty enumsNadrieril-17/+8
2019-12-04Clarify handling of `exhaustive_patterns` in `all_constructors`Nadrieril-31/+39
This is logically equivalent to the previous code.
2019-12-04Update src/librustc_mir/interpret/terminator.rsOliver Scherer-0/+1
Co-Authored-By: Ralf Jung <post@ralfj.de>
2019-12-04more privateMark Mansi-6/+7
2019-12-04minor fixMark Mansi-1/+1
2019-12-04fix some importsMark Mansi-83/+93
2019-12-04move region errors to diagnostics moduleMark Mansi-0/+0
2019-12-04fix importsMark Mansi-5/+8
2019-12-04move explain_borrow to diagnosticsMark Mansi-0/+0
2019-12-04fix importsMark Mansi-27/+33
2019-12-04create new borrow_check::diagnostics module and move stuff thereMark Mansi-0/+0
2019-12-04Auto merge of #66275 - oli-obk:organize-intrinsics-promotion-checks, r=RalfJungbors-151/+70
Organize intrinsics promotion checks cc @vertexclique supersedes #61835 r? @RalfJung
2019-12-04Auto merge of #65947 - eddyb:fn-abi, r=oli-obk,nagisabors-84/+91
rustc: split FnAbi's into definitions/direct calls ("of_instance") and indirect calls ("of_fn_ptr"). After this PR: * `InstanceDef::Virtual` is only used for "direct" virtual calls, and shims around those calls use `InstanceDef::ReifyShim` (i.e. for `<dyn Trait as Trait>::f as fn(_)`) * this could easily be done for intrinsics as well, to allow their reification, but I didn't do it * `FnAbi::of_instance` is **always** used for declaring/defining an `fn`, and for direct calls to an `fn` * this is great for e.g. https://github.com/rust-lang/rust/pull/65881 (`#[track_caller]`), which can introduce the "caller location" argument into "codegen signatures" by only changing `FnAbi::of_instance`, after this PR * `FnAbi::of_fn_ptr` is used primarily for indirect calls, i.e. to `fn` pointers * *not* virtual calls (which use `FnAbi::of_instance` with `InstanceDef::Virtual`) * there's also a couple uses where the `rustc_codegen_llvm` needs to declare (i.e. FFI-import) an LLVM function that has no Rust declaration available at all * at least one of them could probably be a "weak lang item" instead As there are many steps, this PR is best reviewed commit by commit - some of which arguably should be in their own PRs, I may have gotten carried away a bit. cc @nagisa @rkruppe @oli-obk @anp
2019-12-03Rollup merge of #66960 - wesleywiser:fix_66787_take2, r=oli-obk,RalfJungMazdak Farrokhzad-10/+13
[const-prop] Fix ICE calculating enum discriminant Fixes #66787 Different approach than #66857 r? @oli-obk cc @RalfJung @eddyb
2019-12-03Fix angle bracket formatting when dumping MIR debug varsÖmer Sinan Ağacan-1/+1
Fixes #66985
2019-12-03rustc: use ReifyShim for reifying Virtual call instances.Eduard-Mihai Burtescu-13/+14
2019-12-03[const-prop] Fix ICE calculating enum discriminantWesley Wiser-10/+13
Fixes #66787
2019-12-03rustc: expose the mir::Body reference lifetime from mir::ReadOnlyBodyCache ↵Eduard-Mihai Burtescu-53/+53
(#64736 fallout).
2019-12-03rustc_mir: don't hardcode InstanceDef::VtableShim behavior to ↵Eduard-Mihai Burtescu-18/+24
Adjustment::DerefMove.
2019-12-03Rollup merge of #66967 - Nadrieril:remove-or-pat-hack, r=varkorMazdak Farrokhzad-167/+158
Remove hack for top-level or-patterns in match checking Follow-up to #66612. Or-patterns are now truly first-class in match checking. As a side-effect, redundant subpatterns are linted as such, making the `unreachable_patterns` lint a bit more general. cc #54883 r? @varkor
2019-12-03Rollup merge of #66148 - oli-obk:it_must_be_a_sign, r=RalfJungMazdak Farrokhzad-3/+40
Show the sign for signed ops on `exact_div` r? @RalfJung Cc https://github.com/rust-lang/miri/pull/961/files#r341842128 I'm fairly unhappy with the duplication and the general effort required for this. Maybe it would be better to add a `display` impl for `ImmTy`?
2019-12-03TidyOliver Scherer-1/+0
2019-12-03Move all intrinsic whitelists into the constness check fileOliver Scherer-52/+3
2019-12-03Only check `min_const_fn` for const fnsOliver Scherer-1/+1
2019-12-03Check intrinsics for callability in const fnsMahmut Bulut-118/+87
2019-12-02Remove top-level or-pattern hackNadrieril-102/+80
2019-12-02Correct error on partially unreachable or-pat in `if let`Nadrieril-10/+12
2019-12-02Lint for redundant branches in or-patternsNadrieril-13/+40
2019-12-02Simplify lifetimes by allocating patterns on the arenaNadrieril-49/+38
We want the lifetimes of the patterns contained in the matrix and the candidate `PatStack` to be the same so that they can be mixed together. A lot of this would not be necessary if `SmallVec` was covariant in its type argument (see https://github.com/servo/rust-smallvec/issues/146).
2019-12-02`UsefulWithWitness` always carries some witnessesNadrieril-1/+1
2019-12-02Don't build the same matrix twiceNadrieril-10/+5
The exact same logic was used in check_arms and check_match to build the matrix of relevant patterns. It would actually probably have been a bug if it was not the case, since exhaustiveness checking should be the same as checking reachability of an additional `_ => ...` match branch.
2019-12-02Auto merge of #64736 - Nashenas88:mir_predecessors_cache_cleanup, r=oli-obkbors-404/+558
Remove interior mutability in mir predecessors cache
2019-12-02Suggest feature for const_mut_refs errorsChristian Poveda-3/+7
2019-12-02Fix issues caused during rebasingPaul Daniel Faria-2/+1
2019-12-02Disallow cell borrowingChristian Poveda-27/+36
2019-12-02Allow mutable derefs with feature gateChristian Poveda-1/+5
2019-12-02Allow mutable borrows in constant bodiesChristian Poveda-0/+4
2019-12-02Rename feature gateChristian Poveda-1/+1
2019-12-02Allow &mut in const fns when feature gate is enabledChristian Poveda-4/+8
2019-12-02Fix issues caused during rebasingPaul Daniel Faria-4/+4
2019-12-02Fix tidy issuesPaul Daniel Faria-40/+53
2019-12-02Fix rebasing errors, convert some BodyCache::body() calls to reborrowsPaul Daniel Faria-38/+39
2019-12-02Fix type errors created during rebasingPaul Daniel Faria-62/+66
2019-12-02Fix type errors cause during rebasingPaul Daniel Faria-5/+6
2019-12-02Compute predecessors in mir_build query and use existing cache for ↵Paul Daniel Faria-4/+7
generating ReadOnlyBodyCache, remove unneeded fns
2019-12-02Remove HasLocalDecls impl from BodyCache's, properly reborrow to Body, ↵Paul Daniel Faria-588/+588
rename all body_cache back to body
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-12 10:34:44 +0000