| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2020-03-26 | Update imports from `dataflow::generic` to `dataflow` | Dylan MacKenzie | -20/+19 | |
| 2020-03-26 | Update use statements in `dataflow/mod.rs` | Dylan MacKenzie | -7/+10 | |
| 2020-03-26 | Rename `dataflow::generic` to `dataflow::framework` | Dylan MacKenzie | -0/+0 | |
| 2020-03-26 | Move `MoveDataParamEnv` to beginning of module | Dylan MacKenzie | -5/+5 | |
| 2020-03-26 | Remove `BitDenotation` framework | Dylan MacKenzie | -1017/+2 | |
| 2020-03-26 | Rollup merge of #70437 - RalfJung:miri-saturate, r=hanna-kruppe | Dylan DPC | -0/+4 | |
| Miri float->int casts: be explicit that this is saturating r? @hanna-kruppe Cc https://github.com/rust-lang/miri/issues/1264 | ||||
| 2020-03-26 | Rollup merge of #70397 - JOE1994:write_wide_str, r=RalfJung | Dylan DPC | -2/+43 | |
| add 'fn write_u16s' to Memory Added new function `Memory::write_u16s`. Needed in `MIRI` for implementing helper function to write wide_str to memory (for Windows). | ||||
| 2020-03-26 | Miri float->int casts: be explicit that this is saturating | Ralf Jung | -0/+4 | |
| 2020-03-26 | Rename asm! to llvm_asm! | Amanieu d'Antras | -13/+13 | |
| asm! is left as a wrapper around llvm_asm! to maintain compatibility. | ||||
| 2020-03-26 | add 'fn write_u16s'(rustc_mir::interpret::Memory) | JOE1994 | -2/+43 | |
| 2020-03-26 | Enable `--bless`ing of MIR dumps | Oliver Scherer | -91/+287 | |
| 2020-03-26 | Rollup merge of #70385 - RalfJung:miri-nits, r=eddyb | Mazdak Farrokhzad | -8/+8 | |
| Miri nits: comment and var name improvement r? @eddyb | ||||
| 2020-03-26 | Rollup merge of #70389 - Centril:borrowck-no-underscores, r=mark-i-m | Mazdak Farrokhzad | -94/+78 | |
| borrowck: prefer "value" over "`_`" in diagnostics Fixes https://github.com/rust-lang/rust/issues/67565. r? @pnkfelix @matthewjasper cc @mark-i-m | ||||
| 2020-03-26 | Rollup merge of #69866 - estebank:guess_head_span, r=eddyb | Mazdak Farrokhzad | -2/+2 | |
| Rename `def_span` to `guess_head_span` r? @eddyb | ||||
| 2020-03-26 | borrowck diagnostics: address review comments. | Mazdak Farrokhzad | -26/+31 | |
| 2020-03-25 | Rename `def_span` to `guess_head_span` | Esteban Küber | -2/+2 | |
| 2020-03-25 | Rollup merge of #69700 - anyska:layout-details-rename, r=oli-obk | Dylan DPC | -5/+5 | |
| Rename LayoutDetails to just Layout. | ||||
| 2020-03-25 | Rollup merge of #70379 - JOE1994:patch-2, r=petrochenkov | Dylan DPC | -2/+2 | |
| fix incorrect type name in doc comments Change : `InterpCtx` => `InterpCx` (`rustc_mir::interpret::InterpCx`) | ||||
| 2020-03-25 | Rename LayoutDetails to just Layout. | Ana-Maria Mihalache | -5/+5 | |
| 2020-03-25 | add usize methods for Size getters | Ralf Jung | -7/+6 | |
| 2020-03-25 | go back to infix ops for Size | Ralf Jung | -21/+18 | |
| 2020-03-25 | make Size::from* methods generic in the integer type they accept | Ralf Jung | -4/+4 | |
| 2020-03-25 | remove unnecessary cast | Ralf Jung | -1/+1 | |
| 2020-03-25 | miri: avoid a bunch of casts by offering usized-based field indexing | Ralf Jung | -67/+104 | |
| 2020-03-25 | avoid double-cast in mplace_field | Ralf Jung | -8/+8 | |
| 2020-03-25 | make bit_width return u64, consistently with other sizes in the compiler | Ralf Jung | -7/+6 | |
| 2020-03-25 | use checked casts and arithmetic in Miri engine | Ralf Jung | -62/+79 | |
| 2020-03-25 | miri: simplify shift operator overflow checking | Ralf Jung | -12/+13 | |
| 2020-03-25 | borrowck: prefer "value" over "`_`". | Mazdak Farrokhzad | -93/+72 | |
| 2020-03-25 | rename def_id -> static_def_id | Ralf Jung | -6/+6 | |
| 2020-03-25 | better explain GLOBAL_KIND choice | Ralf Jung | -2/+2 | |
| 2020-03-25 | Rollup merge of #70373 - Centril:canon-imports, r=Mark-Simulacrum | Mazdak Farrokhzad | -1/+1 | |
| normalize some imports & prefer direct ones r? @Mark-Simulacrum | ||||
| 2020-03-24 | fix type name typo in doc comments | Youngsuk Kim | -2/+2 | |
| InterpCtx => InterpCx (rustc_mir::interpret::InterpCx) | ||||
| 2020-03-24 | normalize some imports, prefer direct ones. | Mazdak Farrokhzad | -1/+1 | |
| 2020-03-24 | Rollup merge of #70241 - RalfJung:global-mem, r=oli-obk | Mazdak Farrokhzad | -98/+130 | |
| Miri: move ModifiedStatic to ConstEval errors Also generally adjust terminology from "static" to "global" where appropriate (to avoid confusion with specifically `static` items). | ||||
| 2020-03-24 | actually we can reject all reads from mutable allocs in const-prop | Ralf Jung | -6/+5 | |
| 2020-03-24 | fix const_prop ICE | Ralf Jung | -8/+15 | |
| 2020-03-24 | get back the more precise error message | Ralf Jung | -3/+9 | |
| 2020-03-24 | move ModifiedStatic error to ConstEval errors, and generally adjust ↵ | Ralf Jung | -96/+116 | |
| terminology from "static" to "global" where appropriate | ||||
| 2020-03-24 | Rollup merge of #70259 - wesleywiser:use_reveal_all, r=eddyb | Mazdak Farrokhzad | -18/+4 | |
| Use Reveal::All in MIR optimizations Resolves some code review feedback in #67662. Fixes #68855 r? @eddyb | ||||
| 2020-03-24 | Rollup merge of #70277 - matthewjasper:remove-closurebound, r=nikomatsakis | Mazdak Farrokhzad | -36/+8 | |
| 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 | -9/+24 | |
| 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 #70264 - tirr-c:issue-69789-mut-suggestion, r=estebank | Mazdak Farrokhzad | -23/+59 | |
| Fix invalid suggestion on `&mut` iterators yielding `&` references Fixes #69789. rustc suggested an invalid code when `&` reference from `&mut` iterator is mutated. The compiler knew we're mutating a value behind `&` reference, but as the assignment RHS is from desugaring, it could only see the iterator expression from source and inserted `mut` there. r? @estebank | ||||
| 2020-03-24 | Rollup merge of #70087 - ecstatic-morse:remove-const-eval-loop-detector, ↵ | Mazdak Farrokhzad | -487/+20 | |
| 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 | -1/+5 | |
| Evaluate repeat expression lengths as late as possible Fixes #68567 r? @varkor | ||||
| 2020-03-23 | Rollup merge of #70299 - RalfJung:err_machine_stop, r=oli-obk | Mazdak Farrokhzad | -2/+2 | |
| 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 | Rollup merge of #70080 - anyska:mir-double-space, r=oli-obk | Mazdak Farrokhzad | -1/+1 | |
| rustc_mir: remove extra space when pretty-printing MIR. | ||||
| 2020-03-23 | Remove `ReClosureBound` | Matthew Jasper | -36/+8 | |
| 2020-03-23 | Evaluate repeat expression lengths as late as possible | Oliver Scherer | -1/+5 | |
| 2020-03-23 | add macro to reduce boilerplate and keep readable messages | Ralf Jung | -21/+24 | |
