tree e97d1c3f26f31c47db18bd2ea63379d1643afeee
parent 7aa944405955c3ed1bd6ebbe845a4e36df82eb25
author Paul Berry <paulberry@google.com> 1602100894 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1602100894 +0000

Adjust flow analysis of `for each` statements for consistency with `for`.

The recent changes to `for` statements were necessary to ensure that
if a `for` statement causes type promotion due to an unreachable
branch without type promotion joining a reachable one with type
promotion, the type promotion would still happen properly even if the
top of the `for` statement was itself unreachable.  There is no need
for a similar change to `for each` statements, because they are simple
enough that this situation cannot arise.  But it's still worth making
the corresponding change for consistency.

Bug: https://github.com/dart-lang/sdk/issues/40009
Change-Id: Idabf7745f04a99152e688bf050a8d80e07b004e2
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/166520
Commit-Queue: Paul Berry <paulberry@google.com>
Reviewed-by: Johnni Winther <johnniwinther@google.com>