about summary refs log tree commit diff
path: root/src/librustc_mir/transform/check_consts/validation.rs
AgeCommit message (Expand)AuthorLines
2020-04-23Rename `Item` to `ConstCx`.Oliver Scherer-28/+28
2020-04-22Auto merge of #71044 - ecstatic-morse:body-predecessor-cache, r=oli-obkbors-14/+14
2020-04-22Don't use `*` for deref-coercionDylan MacKenzie-14/+14
2020-04-22Rollup merge of #71401 - spastorino:remove-visit-place-base, r=wesleywiserDylan DPC-5/+4
2020-04-22Rollup merge of #71336 - ecstatic-morse:check-consts-asm, r=oli-obkDylan DPC-5/+27
2020-04-22Rollup merge of #70970 - eddyb:trait-vs-impl-mismatch, r=oli-obkDylan DPC-1/+1
2020-04-21visit_place_base is just visit_localSantiago Pastorino-5/+4
2020-04-21Assign correct span to new illegal opsDylan MacKenzie-0/+2
2020-04-19Note that some terminators should cause an errorDylan MacKenzie-0/+2
2020-04-19Exhaustively match on `TerminatorKind` during const checkingDylan MacKenzie-1/+11
2020-04-19Exhaustively match on `StatementKind` during const checkingDylan MacKenzie-3/+8
2020-04-19Check for `llvm_asm` in a const contextDylan MacKenzie-1/+4
2020-04-19Dogfood more or_patterns in the compilerJosh Stone-5/+2
2020-04-18Detect mistyped associated consts in `Instance::resolve`.Eduard-Mihai Burtescu-1/+1
2020-04-15remove rustfmt-induced spurious trailing commaRalf Jung-1/+1
2020-04-15remove an impossible branch from check_constsRalf Jung-6/+5
2020-04-02direct imports for langitem stuffMazdak Farrokhzad-1/+1
2020-03-31Use Place directly in place_as_reborrow, it's CopySantiago Pastorino-3/+3
2020-03-30rustc -> rustc_middle part 3 (rustfmt)Mazdak Farrokhzad-4/+4
2020-03-30rustc -> rustc_middle part 2Mazdak Farrokhzad-5/+5
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-27Auto merge of #68404 - Amanieu:llvm-asm, r=estebankbors-1/+1
2020-03-26Update imports from `dataflow::generic` to `dataflow`Dylan MacKenzie-1/+1
2020-03-26Rename asm! to llvm_asm!Amanieu d'Antras-1/+1
2020-03-16Rollup merge of #67335 - ecstatic-morse:qualif-refactor, r=eddybDylan DPC-1/+1
2020-03-14Return feature gate as a `Symbol`Dylan MacKenzie-1/+1
2020-03-14Simplify `Qualif` interfaceDylan MacKenzie-1/+1
2020-03-14Make downstream crates compile.Camille GILLOT-1/+2
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 19:15:38 +0000