]> git.lizzy.rs Git - rust.git/commit
Model generator resumption in dataflow
authorJonas Schievink <jonasschievink@gmail.com>
Thu, 5 Mar 2020 23:32:06 +0000 (00:32 +0100)
committerJonas Schievink <jonasschievink@gmail.com>
Fri, 6 Mar 2020 00:45:45 +0000 (01:45 +0100)
commit818934b9b418e16e6d60fb061e1e712f48c33216
treeeb82d03b89dcd4a25c17cdca0b289722df63368e
parent2070ea26e1747f9cb1fb8266bbfe48d79a5ada87
Model generator resumption in dataflow

We now have a way to apply an effect only *after* a `yield` resumes,
similar to calls (which can either return or unwind).
src/librustc_mir/dataflow/generic/cursor.rs
src/librustc_mir/dataflow/generic/engine.rs
src/librustc_mir/dataflow/generic/graphviz.rs
src/librustc_mir/dataflow/generic/mod.rs
src/librustc_mir/dataflow/generic/tests.rs
src/librustc_mir/dataflow/impls/storage_liveness.rs
src/librustc_mir/transform/generator.rs