summary refs log tree commit diff
path: root/src/librustc_mir/transform/check_consts/validation.rs
AgeCommit message (Expand)AuthorLines
2020-03-06mir::Local is Copy we can pass it by value in these casesSantiago Pastorino-6/+6
2020-02-20Auto merge of #68847 - ecstatic-morse:const-impl, r=oli-obkbors-3/+17
2020-02-18Check for trait methods on concrete types in const checkingDylan MacKenzie-3/+17
2020-02-19Auto merge of #69113 - ecstatic-morse:unified-dataflow-borrowed, r=wesleywiserbors-18/+19
2020-02-16Make librustc_mir compile.Camille GILLOT-1/+2
2020-02-13Ignore mut borrow from drop terminator in const-evalDylan MacKenzie-0/+6
2020-02-13Rename `MaybeBorrowedLocals` constructorsDylan MacKenzie-1/+1
2020-02-12Use `MaybeMutBorrowedLocals` for const-checkingDylan MacKenzie-18/+13
2020-02-12Auto merge of #68241 - ecstatic-morse:unified-dataflow-impls, r=pnkfelixbors-4/+5
2020-02-10Add an `into_engine` method to `Analysis`Dylan MacKenzie-4/+5
2020-02-09Make issue references consistentMatthias Prechtl-4/+7
2020-02-04Auto merge of #68804 - ecstatic-morse:qualif-cursor-lazy, r=estebankbors-39/+16
2020-02-03Treat `Rvalue::AddressOf` the same as `Rvalue::Ref`Dylan MacKenzie-18/+11
2020-02-03Eliminate "eager" qualif getterDylan MacKenzie-22/+6
2020-02-03Take `FnMut` instead of `Fn` in `Qualif` methodsDylan MacKenzie-1/+1
2020-01-31Auto merge of #68080 - varkor:declared-here, r=petrochenkovbors-1/+1
2020-01-28Place::ty_from takes local by valueSantiago Pastorino-3/+3
2020-01-24Normalise notes with the/isvarkor-1/+1
2020-01-21Auto merge of #65672 - ecstatic-morse:unified-dataflow-proto, r=pnkfelixbors-9/+6
2020-01-18remove rustc_error_codes deps except in rustc_driverMazdak Farrokhzad-1/+0
2020-01-14Use unified dataflow framework in `check_consts`Dylan MacKenzie-9/+6
2020-01-10Remove PlaceBase enum and make Place base field be local: LocalSantiago Pastorino-31/+18
2020-01-10Remove Static from PlaceBaseSantiago Pastorino-17/+7
2020-01-09Rollup merge of #67781 - cjgillot:passes-const, r=oli-obkYuki Okushi-3/+4
2020-01-08Move `is_min_const_fn` query to librustc_mir.Camille GILLOT-3/+4
2020-01-08- remove syntax::{span_warn!, span_err!, span_fatal!. struct_err!}Mazdak Farrokhzad-0/+1
2020-01-05Remove rustc_hir reexports in rustc::hir.Mazdak Farrokhzad-1/+1
2020-01-02Normalize `syntax::symbol` imports.Mazdak Farrokhzad-1/+1
2020-01-01Rename `syntax_pos` to `rustc_span` in source codeVadim Petrochenkov-1/+1
2019-12-22Format the worldMark Rousskov-169/+124
2019-12-18Add Rvalue::AddressOf to MIRMatthew Jasper-41/+71
2019-12-08Rollup merge of #66991 - Nashenas88:body_cache_cleanup, r=eddybMazdak Farrokhzad-3/+3
2019-12-06Rollup merge of #66606 - christianpoveda:mut-refs-in-const-fn, r=oli-obkMazdak Farrokhzad-3/+10
2019-12-05rustc: Apply clearer naming to BodyAndCache, fix Deref impl, remove unneeded ...Paul Daniel Faria-3/+3
2019-12-04Auto merge of #66275 - oli-obk:organize-intrinsics-promotion-checks, r=RalfJungbors-19/+1
2019-12-03rustc: expose the mir::Body reference lifetime from mir::ReadOnlyBodyCache (#...Eduard-Mihai Burtescu-8/+8
2019-12-03Only check `min_const_fn` for const fnsOliver Scherer-1/+1
2019-12-03Check intrinsics for callability in const fnsMahmut Bulut-18/+0
2019-12-02Fix issues caused during rebasingPaul Daniel Faria-1/+1
2019-12-02Disallow cell borrowingChristian Poveda-3/+10
2019-12-02Fix rebasing errors, convert some BodyCache::body() calls to reborrowsPaul Daniel Faria-8/+8
2019-12-02Fix type errors created during rebasingPaul Daniel Faria-14/+14
2019-12-02Rollup merge of #66654 - ecstatic-morse:check-consts-ref, r=eddyb,matthewjasperRalf Jung-97/+95
2019-12-01Incorporate fixes from reviewDylan MacKenzie-5/+3
2019-11-30Merge match branchesChristian Poveda-4/+1
2019-11-27Don't treat a reference to a `static` as a reborrowDylan MacKenzie-0/+13
2019-11-27Remove `CheckOpResult`Dylan MacKenzie-14/+6
2019-11-27Remove `derived_from_illegal_borrow`Dylan MacKenzie-41/+1
2019-11-27Handle `Rvalue::Ref` in one placeDylan MacKenzie-71/+106
2019-11-26Change way of checking SetDiscriminantChristian Poveda-3/+2