about summary refs log tree commit diff
path: root/src/librustc
AgeCommit message (Collapse)AuthorLines
2020-03-25Rollup merge of #70319 - lcnr:issue63695, r=eddybDylan 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-25Rollup merge of #70226 - RalfJung:checked, r=oli-obkDylan 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-25Rename LayoutDetails to just Layout.Ana-Maria Mihalache-53/+46
2020-03-25add usize methods for Size gettersRalf Jung-4/+4
2020-03-25go back to infix ops for SizeRalf Jung-12/+12
2020-03-25add helper method for ptr ops on Scalar; reduce unnecessary large operand of ↵Ralf Jung-49/+35
overflowing_signed_offset
2020-03-25use Size addition instead of checked int additionRalf Jung-1/+1
2020-03-25make Size::from* methods generic in the integer type they acceptRalf Jung-13/+8
2020-03-25use checked casts and arithmetic in Miri engineRalf Jung-91/+107
2020-03-25Auto 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-25Rollup merge of #70373 - Centril:canon-imports, r=Mark-SimulacrumMazdak Farrokhzad-39/+36
normalize some imports & prefer direct ones r? @Mark-Simulacrum
2020-03-25Rollup merge of #70349 - Centril:hir-outa-rustc, r=ZoxcMazdak Farrokhzad-311/+73
move `hir_id_validation` to `rustc_passes` + simplify `hir::map` code r? @Zoxc
2020-03-24normalize some imports, prefer direct ones.Mazdak Farrokhzad-39/+36
2020-03-24Remove attribute `#[structural_match]` and any references to itVadim Petrochenkov-1/+1
2020-03-24improve normalize cycle errorBastian Kauschke-7/+5
2020-03-24rustc: remove rustc_hir_pretty dependency.Mazdak Farrokhzad-42/+24
2020-03-24move ModifiedStatic error to ConstEval errors, and generally adjust ↵Ralf Jung-9/+1
terminology from "static" to "global" where appropriate
2020-03-24move rustc_hir::print -> rustc_hir_prettyMazdak Farrokhzad-4/+5
2020-03-24hir::map: simplify matching codeMazdak Farrokhzad-133/+73
2020-03-24{rustc::hir::map -> rustc_passes}::hir_id_validatorMazdak Farrokhzad-178/+0
2020-03-24Remove `-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-24Rollup merge of #70277 - matthewjasper:remove-closurebound, r=nikomatsakisMazdak Farrokhzad-47/+25
Remove `ReClosureBound` We now substitute external names for regions in the query response. r? @nikomatsakis
2020-03-24Rollup merge of #70267 - RalfJung:const-prop-unsup, r=oli-obk,wesleywiserMazdak 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-24Rollup 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-24Rollup merge of #69981 - oli-obk:const_blocks, r=eddybMazdak Farrokhzad-336/+436
Evaluate repeat expression lengths as late as possible Fixes #68567 r? @varkor
2020-03-24Run rustfmtOliver Scherer-1/+4
2020-03-23Move import.Camille GILLOT-1/+1
2020-03-23Fully 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-23Address review.Camille GILLOT-11/+15
2020-03-23Put extract_def_id back on DepNode.Camille GILLOT-25/+26
2020-03-23Remove assert_ignored and with_ignore_deps.Camille GILLOT-18/+0
2020-03-23Merge ensure_node_can_be_forced into force_from_dep_node.Camille GILLOT-8/+6
2020-03-23Fallout in other crates.Camille GILLOT-165/+277
2020-03-23Make librustc_query_system compile.Camille GILLOT-0/+1
2020-03-23Move dep_graph to new crate librustc_query_system.Camille GILLOT-1495/+0
2020-03-23Split out some impls from rustc::mir into a separate submoduleOliver Scherer-322/+323
2020-03-23Remove leftover mentions of `from_anon_const`Oliver Scherer-2/+2
2020-03-23Limit `from_anon_const` to `AnonConst`s.Oliver Scherer-1/+4
2020-03-23query normalize_generic_arg_after_erasing_regionsBastian Kauschke-10/+37
2020-03-23Address review commentsOliver Scherer-6/+8
2020-03-23Rollup merge of #70318 - anyska:multiple-derives, r=Dylan-DPCMazdak Farrokhzad-300/+48
Split long derive lists into two derive attributes.
2020-03-23Rollup merge of #70299 - RalfJung:err_machine_stop, r=oli-obkMazdak 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-23add missing visit_constsBastian Kauschke-5/+29
2020-03-23Remove `ReClosureBound`Matthew Jasper-47/+25
2020-03-23Split long derive lists into two derive attributes.Ana-Maria Mihalache-300/+48
2020-03-23Use `DefId`s to identify anon consts when converting from HIR to ty::ConstOliver Scherer-8/+6
2020-03-23Inline `const_param_def_id` at its only use siteOliver Scherer-33/+29
2020-03-23Document most methods on `ty::Const`Oliver Scherer-0/+15
2020-03-23Evaluate repeat expression lengths as late as possibleOliver Scherer-12/+94
2020-03-23make sure we are checking the size of the right thingRalf Jung-1/+1