about summary refs log tree commit diff
path: root/src/librustc_mir/transform
AgeCommit message (Collapse)AuthorLines
2018-12-12Undo a change that got lost in the larger refactoringsOliver Scherer-1/+3
2018-12-11Make `const unsafe fn` bodies `unsafe`Oliver Scherer-24/+5
2018-12-07Various minor/cosmetic improvements to codeAlexander Regueiro-30/+34
2018-12-06Use a function to access the Hir map to be able to turn it into a query laterJohn Kåre Alsaker-22/+22
2018-12-06Auto merge of #55635 - oli-obk:min_const_unsafe_fn, r=nikomatsakisbors-63/+232
Allow calling `const unsafe fn` in `const fn` behind a feature gate cc #55607 r? @Centril
2018-12-06Auto merge of #56307 - RalfJung:stacked-borrows-2-phase, r=oli-obkbors-6/+21
Stacked borrows: Support 2 phase borrows Some infrastructure needed for Stacked Borrows to be able to handle 2-phase-borros. r? @oli-obk
2018-12-05Rollup merge of #56388 - matthewjasper:more-lexical-mir-cleanup, r=nikomatsakisPietro Albini-9/+17
More MIR borrow check cleanup * Fix some rustc doc links * Remove the `region_map` field from `BorrowSet` * Use `visit_local` to find 2PB activations r? @nikomatsakis
2018-12-04Intrinsic checks are just needed for `qualify_min_const_fn`Oliver Scherer-15/+43
2018-12-04Clear up some codeOliver Scherer-6/+9
2018-12-04Emit feature gate suggestionOliver Scherer-21/+53
2018-12-04Comment on the unsafety code for layout constrained fieldsOliver Scherer-0/+6
2018-12-04Also prevent mutation fields directlyOliver Scherer-15/+27
2018-12-04Also make immutable references to non-freeze restricted value range types unsafeOliver Scherer-1/+5
2018-12-04generalize the message about the creation of layout restricted typesOliver Scherer-2/+2
2018-12-04Forbid the creation of mutable borrows to fields of layout constrained typesOliver Scherer-0/+40
2018-12-04Move ref to packed struct field check into projection armOliver Scherer-18/+18
2018-12-04Make sure the initialization of constrained int range newtypes is unsafeOliver Scherer-2/+14
2018-12-04Document unsafe rules with comments and `bug!` callsOliver Scherer-3/+6
2018-12-04Allow calling `const unsafe fn` in `const fn` behind a feature gateOliver Scherer-26/+55
2018-12-03Retag needs to know whether this is a 2-phase-reborrowRalf Jung-6/+21
2018-11-30Fix some rustc doc linksMatthew Jasper-9/+17
2018-11-30Fix rebase falloutOliver Scherer-1/+1
2018-11-30Improve the diagnostic messageOliver Scherer-6/+21
2018-11-30Reenable `const_let` feature gateOliver Scherer-41/+206
2018-11-30Improve the error around short circuiting and let bindingsOliver Scherer-3/+3
2018-11-30Properly name the flag for `&&` -> `&` conversionOliver Scherer-1/+1
2018-11-30Allow `let` bindings everywhereOliver Scherer-151/+57
2018-11-30Stabilize `const_let` inside const functionsOliver Scherer-61/+10
2018-11-30Pacify tidyPhilipp Hansch-9/+9
2018-11-30Fix const_fn ICE with non-const function pointerPhilipp Hansch-122/+137
2018-11-27avoid features_untrackedRalf Jung-9/+9
2018-11-26Auto merge of #56070 - oli-obk:const_let, r=eddybbors-6/+56
Allow assignments in const contexts fixes https://github.com/rust-lang/rust/issues/54098 fixes https://github.com/rust-lang/rust/issues/51251 fixes https://github.com/rust-lang/rust/issues/52613
2018-11-25Auto merge of #55959 - matthewjasper:remove-end-region, r=nikomatsakisbors-113/+14
Cleanup from lexical MIR borrowck removal Lexical MIR borrowck was removed months ago now, and `EndRegion`s are no longer used for MIRI verification. * Remove `rustc::mir::StatementKind::EndRegion` and the `-Zemit_end_regions` flag * Use `RegionVid` instead of `Region` in BorrowSet * Rewrite drop generation to create fewer goto terminators. r? @nikomatsakis
2018-11-21Auto merge of #56065 - oli-obk:min_const_fn_loop_ice, r=davidtwcobors-5/+3
Replace the ICEing on const fn loops with an error fixes #56035
2018-11-21Explain why we do not overwrite qualification of localsOliver Scherer-2/+5
2018-11-21Ensure assignments don't allow skipping projection checksOliver Scherer-1/+10
2018-11-21Properly assign to aggregate fieldsOliver Scherer-1/+6
2018-11-21rustc: remove {FxHash,Node,DefId,HirId,ItemLocal}{Map,Set} "constructor" fns.Eduard-Mihai Burtescu-1/+1
2018-11-20Document qualify_consts moreOliver Scherer-1/+6
2018-11-19use RawConst in miriRalf Jung-2/+4
2018-11-19Make const_eval_raw query return just an AllocIdRalf Jung-1/+1
2018-11-19Also catch static mutation at evaluation timeOliver Scherer-1/+7
2018-11-19Allow assignments in const contextsOliver Scherer-6/+28
2018-11-19Replace the ICEing on const fn loops with an errorOliver Scherer-5/+3
2018-11-18Remove mir::StatementKind::EndRegionMatthew Jasper-113/+14
Since lexical MIR borrow check is gone, and validation no longer uses these, they can be removed.
2018-11-15Auto merge of #55716 - RalfJung:escape-to-raw, r=oli-obkbors-38/+84
Add escape-to-raw MIR statement Add a new MIR "ghost state statement": Escaping a ptr to permit raw accesses. ~~This includes #55549, [click here](https://github.com/RalfJung/rust/compare/miri-visitor...RalfJung:escape-to-raw) for just the new commits.~~
2018-11-12Use type safe `VariantIdx` instead of `usize` everywhereOliver Scherer-4/+6
2018-11-11Rollup merge of #55802 - wesleywiser:inlined_calls_2_electric_boogaloo, r=nagisaPietro Albini-45/+49
Don't inline virtual calls (take 2) When I fixed the previous mis-optimizations, I didn't realize there were actually two different places where we mutate `callsites` and both of them should have the same behavior. As a result, if a function was inlined and that function contained virtual function calls, they were incorrectly being inlined. I also added a test case which covers this.
2018-11-11Rollup merge of #55792 - oli-obk:propsicle, r=RalfJungPietro Albini-8/+8
Prevent ICE in const-prop array oob check fixes https://github.com/rust-lang/rust/issues/55772 fixes https://github.com/rust-lang/rust/issues/54541
2018-11-11Rollup merge of #55745 - nnethercote:outlives_components-SmallVec, ↵Pietro Albini-1/+6
r=matthewjasper Convert `outlives_components`' return value to a `SmallVec` outparam. This avoids some allocations, reducing instruction counts by 1% on a couple of benchmarks.
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-12 17:43:33 +0000