tree d71687a700feb0dd1bbe7bff30b560078b786044
parent f0169b35412707b065f86aa30eab023656356a8f
author Dmitry Savvinov <dmitry.savvinov@jetbrains.com> 1537804200 +0300
committer Dmitry Savvinov <dmitry.savvinov@jetbrains.com> 1537862885 +0300

Fix too aggressive data-flow clearing of loop-assigned vars

This is effectively a revert of
447c127036b9902de4f9f7f4841684a2a40be3b9, which was an (incorrect) fix
for KT-22379.

Actually, KT-22379 implies that we should clear data-flow which we got
from `checkCondition` (it contains information just that condition
expression is executed), while actual fix cleared data-flow after applyng
knowledge that condition should be 'false' after loop is finished.

KT-22379 Open
KT-27084 Fixed