about summary refs log tree commit diff
path: root/src/librustc_mir/transform/check_consts/validation.rs
AgeCommit message (Expand)AuthorLines
2020-08-30mv compiler to compiler/mark-655/+0
2020-08-24hir: consistent use and naming of lang itemsDavid Wood-2/+2
2020-08-18Moved coverage counter injection from BasicBlock to Statement.Rich Kadel-0/+1
2020-08-13merge `as_local_hir_id` with `local_def_id_to_hir_id`Bastian Kauschke-1/+1
2020-07-15InstanceDef::ItemBastian Kauschke-2/+2
2020-07-04ConstCx to LocalDefIdBastian Kauschke-9/+9
2020-07-01Rollup merge of #73778 - nbdd0121:const_likely, r=oli-obkManish Goregaokar-2/+5
2020-06-28Stop checking for `while` and `loop` in a const contextDylan MacKenzie-6/+0
2020-06-28MIR const-checkingDylan MacKenzie-10/+1
2020-06-28Remove `control_flow_destroyed` and properly lower `&&` and `||`Dylan MacKenzie-40/+0
2020-06-27Fix ICE for lib featuresGary Guo-2/+2
2020-06-26Fix allow_internal_unstable with rustc_const_unstableGary Guo-2/+5
2020-06-23Rollup merge of #73515 - christianpoveda:livedrop-diagnostics, r=oli-obkManish Goregaokar-1/+4
2020-06-19add second message for livedrop errorsChristian Poveda-1/+4
2020-06-16rename location field of Drop terminators to placeRalf Jung-2/+2
2020-06-13Add `CheckLiveDrops` passDylan MacKenzie-0/+6
2020-06-13Make `Qualifs` getters publicDylan MacKenzie-3/+3
2020-06-13Move `check_op` logic to `ops` moduleDylan MacKenzie-22/+7
2020-06-07rename FalseEdges -> FalseEdgeRalf Jung-1/+1
2020-06-01test miri-unleash TLS accessesRalf Jung-5/+1
2020-05-30Make TLS accesses explicit in MIROliver Scherer-5/+7
2020-05-23take mir::PlaceElem by valueBastian Kauschke-1/+1
2020-05-18Add asm! to MIRAmanieu d'Antras-0/+4
2020-05-09Rollup merge of #71942 - nnethercote:shrink-LocalDecl, r=matthewjasperDylan DPC-1/+1
2020-05-08Rollup merge of #71989 - ecstatic-morse:const-context-enum, r=oli-obkDylan DPC-13/+12
2020-05-07Use `hir::ConstContext` instead of local enumsDylan MacKenzie-13/+12
2020-05-06Shrink `LocalDecl` by 56 bytes.Nicholas Nethercote-1/+1
2020-05-04Import dataflow impls via the `impls` submoduleDylan MacKenzie-1/+1
2020-05-03Auto merge of #71631 - RalfJung:miri-unleash-the-gates, r=oli-obkbors-4/+4
2020-05-03Reflect API changes on current masterDylan MacKenzie-1/+1
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-4/+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-4/+1
2020-04-28Add `CustomEq` qualifDylan MacKenzie-1/+27
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-1/+1
2020-04-23Modify `as_local_hir_id` to accept a `LocalDefId` instead of a `DefId`marmeladema-1/+1
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