| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2020-03-25 | Rollup merge of #70319 - lcnr:issue63695, r=eddyb | Dylan DPC | -16/+65 | |
| correctly normalize constants closes #70317 implements https://github.com/rust-lang/rust/issues/70125#issuecomment-602133708 r? eddyb cc @varkor | ||||
| 2020-03-25 | Rollup merge of #70226 - RalfJung:checked, r=oli-obk | Dylan DPC | -118/+115 | |
| use checked casts and arithmetic in Miri engine This is unfortunately pretty annoying because we have to cast back and forth between `u64` and `usize` more often that should be necessary, and that cast is considered fallible. For example, should [this](https://doc.rust-lang.org/nightly/nightly-rustc/rustc/mir/interpret/value/enum.ConstValue.html) really be `usize`? Also, `LayoutDetails` uses `usize` for field indices, but in Miri we use `u64` to be able to also handle array indexing. Maybe methods like `mplace_field` should be suitably generalized to accept both `u64` and `usize`? r? @oli-obk Cc @eddyb | ||||
| 2020-03-25 | Rename LayoutDetails to just Layout. | Ana-Maria Mihalache | -53/+46 | |
| 2020-03-25 | add usize methods for Size getters | Ralf Jung | -4/+4 | |
| 2020-03-25 | go back to infix ops for Size | Ralf Jung | -12/+12 | |
| 2020-03-25 | add helper method for ptr ops on Scalar; reduce unnecessary large operand of ↵ | Ralf Jung | -49/+35 | |
| overflowing_signed_offset | ||||
| 2020-03-25 | use Size addition instead of checked int addition | Ralf Jung | -1/+1 | |
| 2020-03-25 | make Size::from* methods generic in the integer type they accept | Ralf Jung | -13/+8 | |
| 2020-03-25 | use checked casts and arithmetic in Miri engine | Ralf Jung | -91/+107 | |
| 2020-03-25 | Auto merge of #70297 - nnethercote:clean-up-debugging-options, ↵ | bors | -3/+1 | |
| r=michaelwoerister Clean up debugging options I found various sub-optimal things when I was looking at option handling. | ||||
| 2020-03-25 | Rollup merge of #70373 - Centril:canon-imports, r=Mark-Simulacrum | Mazdak Farrokhzad | -39/+36 | |
| normalize some imports & prefer direct ones r? @Mark-Simulacrum | ||||
| 2020-03-25 | Rollup merge of #70349 - Centril:hir-outa-rustc, r=Zoxc | Mazdak Farrokhzad | -311/+73 | |
| move `hir_id_validation` to `rustc_passes` + simplify `hir::map` code r? @Zoxc | ||||
| 2020-03-24 | normalize some imports, prefer direct ones. | Mazdak Farrokhzad | -39/+36 | |
| 2020-03-24 | Remove attribute `#[structural_match]` and any references to it | Vadim Petrochenkov | -1/+1 | |
| 2020-03-24 | improve normalize cycle error | Bastian Kauschke | -7/+5 | |
| 2020-03-24 | rustc: remove rustc_hir_pretty dependency. | Mazdak Farrokhzad | -42/+24 | |
| 2020-03-24 | move ModifiedStatic error to ConstEval errors, and generally adjust ↵ | Ralf Jung | -9/+1 | |
| terminology from "static" to "global" where appropriate | ||||
| 2020-03-24 | move rustc_hir::print -> rustc_hir_pretty | Mazdak Farrokhzad | -4/+5 | |
| 2020-03-24 | hir::map: simplify matching code | Mazdak Farrokhzad | -133/+73 | |
| 2020-03-24 | {rustc::hir::map -> rustc_passes}::hir_id_validator | Mazdak Farrokhzad | -178/+0 | |
| 2020-03-24 | Remove `-Z incremental-queries`. | Nicholas Nethercote | -3/+1 | |
| Because it uses `parse_bool` and defaults to true, it is actually impossible to set it to false. And it hasn't been experimental for some time now. | ||||
| 2020-03-24 | Rollup merge of #70277 - matthewjasper:remove-closurebound, r=nikomatsakis | Mazdak Farrokhzad | -47/+25 | |
| Remove `ReClosureBound` We now substitute external names for regions in the query response. r? @nikomatsakis | ||||
| 2020-03-24 | Rollup merge of #70267 - RalfJung:const-prop-unsup, r=oli-obk,wesleywiser | Mazdak Farrokhzad | -13/+31 | |
| get rid of ConstPropUnsupported; use ZST marker structs instead This gets rid of yet another machine-specific error variant. r? @oli-obk | ||||
| 2020-03-24 | Rollup merge of #70087 - ecstatic-morse:remove-const-eval-loop-detector, ↵ | Mazdak Farrokhzad | -7/+7 | |
| r=RalfJung Remove const eval loop detector Now that there is a configurable instruction limit for CTFE (see #67260), we can replace the loop detector with something much simpler. See #66946 for more discussion about this. Although the instruction limit is nightly-only, the only practical way to reach the default limit uses nightly-only features as well (although CTFE will still execute code using such features inside an array initializer on stable). This will at the very least require a crater run, since it will result in an error wherever the "long running const eval" warning appeared before. We may need to increase the default for `const_eval_limit` to work around this. Resolves #54384 cc #49980 r? @oli-obk cc @RalfJung | ||||
| 2020-03-24 | Rollup merge of #69981 - oli-obk:const_blocks, r=eddyb | Mazdak Farrokhzad | -336/+436 | |
| Evaluate repeat expression lengths as late as possible Fixes #68567 r? @varkor | ||||
| 2020-03-24 | Run rustfmt | Oliver Scherer | -1/+4 | |
| 2020-03-23 | Move import. | Camille GILLOT | -1/+1 | |
| 2020-03-23 | Fully qualify the path to DepKind. | Camille GILLOT | -8/+4 | |
| This is needed since `middle::cstore` defines another type named `DepKind`, and we should not rely on shadowing to get the right one. | ||||
| 2020-03-23 | Address review. | Camille GILLOT | -11/+15 | |
| 2020-03-23 | Put extract_def_id back on DepNode. | Camille GILLOT | -25/+26 | |
| 2020-03-23 | Remove assert_ignored and with_ignore_deps. | Camille GILLOT | -18/+0 | |
| 2020-03-23 | Merge ensure_node_can_be_forced into force_from_dep_node. | Camille GILLOT | -8/+6 | |
| 2020-03-23 | Fallout in other crates. | Camille GILLOT | -165/+277 | |
| 2020-03-23 | Make librustc_query_system compile. | Camille GILLOT | -0/+1 | |
| 2020-03-23 | Move dep_graph to new crate librustc_query_system. | Camille GILLOT | -1495/+0 | |
| 2020-03-23 | Split out some impls from rustc::mir into a separate submodule | Oliver Scherer | -322/+323 | |
| 2020-03-23 | Remove leftover mentions of `from_anon_const` | Oliver Scherer | -2/+2 | |
| 2020-03-23 | Limit `from_anon_const` to `AnonConst`s. | Oliver Scherer | -1/+4 | |
| 2020-03-23 | query normalize_generic_arg_after_erasing_regions | Bastian Kauschke | -10/+37 | |
| 2020-03-23 | Address review comments | Oliver Scherer | -6/+8 | |
| 2020-03-23 | Rollup merge of #70318 - anyska:multiple-derives, r=Dylan-DPC | Mazdak Farrokhzad | -300/+48 | |
| Split long derive lists into two derive attributes. | ||||
| 2020-03-23 | Rollup merge of #70299 - RalfJung:err_machine_stop, r=oli-obk | Mazdak Farrokhzad | -3/+8 | |
| add err_machine_stop macro We have that for all other error kinds, but here I somehow forgot it. r? @oli-obk | ||||
| 2020-03-23 | add missing visit_consts | Bastian Kauschke | -5/+29 | |
| 2020-03-23 | Remove `ReClosureBound` | Matthew Jasper | -47/+25 | |
| 2020-03-23 | Split long derive lists into two derive attributes. | Ana-Maria Mihalache | -300/+48 | |
| 2020-03-23 | Use `DefId`s to identify anon consts when converting from HIR to ty::Const | Oliver Scherer | -8/+6 | |
| 2020-03-23 | Inline `const_param_def_id` at its only use site | Oliver Scherer | -33/+29 | |
| 2020-03-23 | Document most methods on `ty::Const` | Oliver Scherer | -0/+15 | |
| 2020-03-23 | Evaluate repeat expression lengths as late as possible | Oliver Scherer | -12/+94 | |
| 2020-03-23 | make sure we are checking the size of the right thing | Ralf Jung | -1/+1 | |
