summary refs log tree commit diff
path: root/src/librustc_mir/transform/const_prop.rs
AgeCommit message (Expand)AuthorLines
2020-05-10Remove some `Vec` allocations in an effort to improve perfEsteban Küber-2/+1
2020-04-22Revert "Move early needs_subst bailout to _after_ linting."Ralf Jung-5/+5
2020-04-19Auto merge of #70598 - vakaras:add-threads-cr3, r=oli-obk,RalfJungbors-4/+27
2020-04-16Move stack access methods in the Machine implementations out of the enforce_ ...Vytautas Astrauskas-14/+14
2020-04-16Rollup merge of #70566 - jumbatm:exceeding-bitshifts-constprop, r=RalfJungDylan DPC-5/+5
2020-04-15Make the necessary changes to support concurrency in Miri.Vytautas Astrauskas-4/+27
2020-04-15Rollup merge of #71100 - RalfJung:miri-frame-hook, r=oli-obkMazdak Farrokhzad-2/+5
2020-04-15Move early needs_subst bailout to _after_ linting.jumbatm-5/+5
2020-04-13Miri: let machine hook dynamically decide about alignment checksRalf Jung-1/+4
2020-04-13Miri: let push_frame hook also access and mutate the rest of the frame dataRalf Jung-2/+5
2020-04-08Use `PredicateObligation`s instead of `Predicate`sEsteban Küber-1/+1
2020-04-05set span more accurately during const_propRalf Jung-2/+4
2020-04-02nix rustc_target::abi::* reexport in ty::layoutMazdak Farrokhzad-3/+2
2020-04-01Rollup merge of #70590 - RalfJung:miri-backtrace, r=oli-obkDylan DPC-3/+0
2020-04-01Rollup merge of #70627 - spastorino:use-place-directly-its-copy, r=oli-obkMazdak Farrokhzad-4/+4
2020-03-31Use Place directly, it's Copy even more use casesSantiago Pastorino-4/+4
2020-03-31remove unnecessary relocation check in const_propRalf Jung-7/+4
2020-03-30stop unnecessarily passing around span argument for Miri function callsRalf Jung-2/+0
2020-03-30remove caller span from Miri stack frameRalf Jung-1/+0
2020-03-30rustc -> rustc_middle part 2Mazdak Farrokhzad-16/+16
2020-03-30Auto merge of #70449 - ecstatic-morse:visit-body, r=oli-obkbors-1/+1
2020-03-29Use `&` to do deref coercion for `ReadOnlyBodyAndCache`Dylan MacKenzie-1/+1
2020-03-29Make `Visitor::visit_body` take a simple `Body`Dylan MacKenzie-1/+1
2020-03-27Rename TyLayout to TyAndLayout.Ana-Maria Mihalache-4/+4
2020-03-26Rollup merge of #70385 - RalfJung:miri-nits, r=eddybMazdak Farrokhzad-3/+3
2020-03-25Rename LayoutDetails to just Layout.Ana-Maria Mihalache-1/+1
2020-03-25rename def_id -> static_def_idRalf Jung-2/+2
2020-03-25better explain GLOBAL_KIND choiceRalf Jung-1/+1
2020-03-24Rollup merge of #70241 - RalfJung:global-mem, r=oli-obkMazdak Farrokhzad-9/+18
2020-03-24actually we can reject all reads from mutable allocs in const-propRalf Jung-6/+5
2020-03-24fix const_prop ICERalf Jung-2/+6
2020-03-24get back the more precise error messageRalf Jung-0/+1
2020-03-24move ModifiedStatic error to ConstEval errors, and generally adjust terminolo...Ralf Jung-8/+13
2020-03-24Rollup merge of #70259 - wesleywiser:use_reveal_all, r=eddybMazdak Farrokhzad-8/+1
2020-03-24Rollup merge of #70267 - RalfJung:const-prop-unsup, r=oli-obk,wesleywiserMazdak Farrokhzad-9/+24
2020-03-23add macro to reduce boilerplate and keep readable messagesRalf Jung-21/+24
2020-03-22miri engine: turn error sanity checks into assertionsRalf Jung-2/+1
2020-03-22Rollup merge of #70254 - matthiaskrgr:cl4ppy, r=CentrilDylan DPC-3/+2
2020-03-22get rid of ConstPropUnsupported; use ZST marker structs insteadRalf Jung-10/+22
2020-03-21Resolve worsened debug build codegenWesley Wiser-8/+1
2020-03-22don't create variable bindings just to return the bound value immediately (cl...Matthias Krüger-3/+2
2020-03-21remove unused unit values (clippy::unused_unit)Matthias Krüger-3/+1
2020-03-21Rollup merge of #70138 - RalfJung:throw-not-return, r=oli-obkMazdak Farrokhzad-5/+5
2020-03-20remove redundant returns (clippy::needless_return)Matthias Krüger-1/+1
2020-03-19do not 'return' in 'throw_' macrosRalf Jung-5/+5
2020-03-16use direct imports for `rustc::{lint, session}`.Mazdak Farrokhzad-1/+1
2020-03-14Make downstream crates compile.Camille GILLOT-1/+1
2020-03-11Rollup merge of #69850 - RalfJung:panic-bounds-check, r=eddybMazdak Farrokhzad-1/+0
2020-03-09remove no-longer needed span from Miri Machine hookRalf Jung-1/+0
2020-03-08fix some cases of unexpected exceptions leaving validationRalf Jung-2/+3