diff options
| author | Felix S. Klock II <pnkfelix@pnkfx.org> | 2015-04-11 18:42:33 +0200 |
|---|---|---|
| committer | Felix S. Klock II <pnkfelix@pnkfx.org> | 2015-04-15 18:16:40 +0200 |
| commit | 1702098e6f0717cd593cc88bf0463de8bc26ba9d (patch) | |
| tree | ee1bcde309f79ed62937526ee3fdb37c58997b4a /src/test/codegen | |
| parent | a9d8065633be69847e1a5b16f952467f43951b65 (diff) | |
| download | rust-1702098e6f0717cd593cc88bf0463de8bc26ba9d.tar.gz rust-1702098e6f0717cd593cc88bf0463de8bc26ba9d.zip | |
Dataflow changes and associated borrowck fix.
Revise rustc::middle::dataflow: one must select kill-kind when calling
add_kill. The current kill-kinds are (1.) kills associated with
ends-of-scopes and (2.) kills associated with the actual action of the
expression/pattern.
Then, use this to fix borrowck analysis so that it will not treat a
break that pops through an assignment `x = { ... break; ... }` as a
kill of the "moved-out" bit for `x`.
Fix #24267.
(incorporated review feedback.)
Diffstat (limited to 'src/test/codegen')
0 files changed, 0 insertions, 0 deletions