]> git.lizzy.rs Git - rust.git/commit - src/tools/clippy
Auto merge of #65672 - ecstatic-morse:unified-dataflow-proto, r=pnkfelix
authorbors <bors@rust-lang.org>
Tue, 21 Jan 2020 15:29:18 +0000 (15:29 +0000)
committerbors <bors@rust-lang.org>
Tue, 21 Jan 2020 15:29:18 +0000 (15:29 +0000)
commit2cf24ab89123532f0e84995301ee734a88bf4701
treea5a5ecd488d56781a4e3ff1634545444ec2f4b47
parentce361fb24f0896bf7d983549117cbe1f70f32dcf
parent7b4dca282a0bfad265238d04b22f7bdb0d498d74
Auto merge of #65672 - ecstatic-morse:unified-dataflow-proto, r=pnkfelix

A single framework for gen-kill and generic dataflow problems

This is the prototype implementation discussed in rust-lang/compiler-team#202. You can read a high-level description of it in [the proposal](https://hackmd.io/@39Qr_z9cQhasi25sGjmFnA/Skvd9rztS) for that design meeting. This would eventually supersede the existing `BitDenotation` interface.

r? @ghost

cc @rust-lang/compiler (esp. @eddyb and @pnkfelix)
src/librustc_mir/transform/check_consts/validation.rs
src/librustc_span/symbol.rs