about summary refs log tree commit diff
path: root/src/librustc_mir/transform/check_consts
AgeCommit message (Expand)AuthorLines
2020-05-03Support backward dataflow analysesDylan MacKenzie-3/+3
2020-05-03warn about each skipped feature gateRalf Jung-7/+1
2020-05-02fix miri-unleash delayed sanity checkingRalf Jung-0/+2
2020-05-02explain why we use def_spanRalf Jung-0/+1
2020-05-02make sure the miri-unleash-flag is not used to circumvent feature gatesRalf Jung-0/+3
2020-04-30Rollup merge of #71688 - ecstatic-morse:const-downcast, r=oli-obkTyler Mandry-13/+1
2020-04-30deduplicate warningsRalf Jung-1/+1
2020-04-30unleashed Miri: open all the gatesRalf Jung-3/+3
2020-04-30Add a convenience function for testing whether a static is `#[thread_local]`Oliver Scherer-4/+2
2020-04-29Allow `Downcast` projections unconditionallyDylan MacKenzie-13/+1
2020-04-28Add `CustomEq` qualifDylan MacKenzie-1/+63
2020-04-28Pass `Substs` to `in_adt_inherently`Dylan MacKenzie-6/+10
2020-04-25Rollup merge of #71527 - ecstatic-morse:debug-check-consts, r=Dylan-DPCDylan DPC-10/+1
2020-04-25Rollup merge of #71330 - ecstatic-morse:const-qualif-lazy, r=oli-obkDylan DPC-72/+83
2020-04-24Remove unused `visit_local`Dylan MacKenzie-9/+0
2020-04-24Use `debug` to print illegal operations in a const contextDylan MacKenzie-1/+1
2020-04-23Modify `as_local_hir_id` to return a bare `HirId`marmeladema-2/+2
2020-04-23Modify `as_local_hir_id` to accept a `LocalDefId` instead of a `DefId`marmeladema-6/+6
2020-04-23Lazily run dataflow for const qualificationDylan MacKenzie-43/+56
2020-04-23Don't cache result of `in_any_value_of_ty` for localsDylan MacKenzie-53/+51
2020-04-23Make type alias privateDylan MacKenzie-1/+1
2020-04-23Use ConstCx in more placesOliver Scherer-0/+9
2020-04-23Rename `Item` to `ConstCx`.Oliver Scherer-109/+109
2020-04-22Auto merge of #71044 - ecstatic-morse:body-predecessor-cache, r=oli-obkbors-24/+20
2020-04-22Use `Body` everywhereDylan MacKenzie-6/+2
2020-04-22Don't use `*` for deref-coercionDylan MacKenzie-18/+18
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/+31
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/+8
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-18miri-unleashed: test that we detect heap allocationsRalf Jung-2/+0
2020-04-18check_consts: make ops module privateRalf Jung-1/+1
2020-04-15remove rustfmt-induced spurious trailing commaRalf Jung-1/+1
2020-04-15remove an impossible branch from check_constsRalf Jung-16/+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-31Use Place directly on Operand::place and friends, it's CopySantiago Pastorino-3/+3
2020-03-30rustc -> rustc_middle part 3 (rustfmt)Mazdak Farrokhzad-7/+7
2020-03-30rustc -> rustc_middle part 2Mazdak Farrokhzad-11/+11
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-3/+3